[device] Correct the return type for device__set
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Wed, 8 Dec 2010 21:06:44 +0000 (16:06 -0500)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Wed, 8 Dec 2010 21:06:44 +0000 (16:06 -0500)
src/include/device.h
src/winvblock/device.c

index b06873a..9ef3ac3 100644 (file)
@@ -18,8 +18,8 @@
  * You should have received a copy of the GNU General Public License
  * along with WinVBlock.  If not, see <http://www.gnu.org/licenses/>.
  */
-#ifndef _device_h
-#  define _device_h
+#ifndef _DEVICE_H
+#  define _DEVICE_H
 
 /**
  * @file
@@ -191,9 +191,6 @@ struct _device__type
 };
 
 extern winvblock__lib_func device__type_ptr device__get(PDEVICE_OBJECT);
-extern winvblock__lib_func device__type_ptr device__set(
-    PDEVICE_OBJECT,
-    device__type_ptr
-  );
+extern winvblock__lib_func void device__set(PDEVICE_OBJECT, device__type_ptr);
 
-#endif                         /* _device_h */
+#endif  /* _DEVICE_H */
index 2e36caf..ff60d48 100644 (file)
@@ -191,11 +191,10 @@ winvblock__lib_func device__type_ptr device__get(PDEVICE_OBJECT dev_obj)
  * @v dev_obj           Points to the DEVICE_OBJECT to set the device for.
  * @v dev               Points to the device to associate with.
  */
-winvblock__lib_func device__type_ptr device__set(
+winvblock__lib_func void device__set(
     PDEVICE_OBJECT dev_obj,
     device__type_ptr dev
-  )
-  {
+  ) {
     driver__dev_ext_ptr dev_ext = dev_obj->DeviceExtension;
     dev_ext->device = dev;
     return;