[device] Don't use winvblock__def_struct for device__type
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sat, 11 Dec 2010 19:32:42 +0000 (14:32 -0500)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sat, 11 Dec 2010 19:32:42 +0000 (14:32 -0500)
19 files changed:
src/aoe/driver.c
src/include/bus.h
src/include/device.h
src/include/disk.h
src/include/driver.h
src/include/irp.h
src/winvblock/bus/bus.c
src/winvblock/bus/dev_ctl.c
src/winvblock/bus/pnp.c
src/winvblock/debug.c
src/winvblock/device.c
src/winvblock/disk/dev_ctl.c
src/winvblock/disk/disk.c
src/winvblock/disk/pnp.c
src/winvblock/disk/scsi.c
src/winvblock/driver.c
src/winvblock/filedisk/filedisk.c
src/winvblock/irp.c
src/winvblock/ramdisk/ramdisk.c

index c8f45ba..ed97f11 100644 (file)
@@ -133,7 +133,7 @@ struct aoe__io_req_
 struct aoe__work_tag_
   {
     enum aoe__tag_type_ type;
-    device__type_ptr device;
+    struct device__type * device;
     struct aoe__io_req_ * request_ptr;
     winvblock__uint32 Id;
     struct aoe__packet_ * packet_data;
@@ -149,7 +149,7 @@ struct aoe__work_tag_
 /** A disk search. */
 struct aoe__disk_search_
   {
-    device__type_ptr device;
+    struct device__type * device;
     struct aoe__work_tag_ * tag;
     struct aoe__disk_search_ * next;
   };
@@ -211,7 +211,7 @@ static irp__handling handling_table[] =
   };
 
 /* Yield a pointer to the AoE disk. */
-static struct aoe__disk_type_ * aoe__get_(device__type_ptr dev_ptr)
+static struct aoe__disk_type_ * aoe__get_(struct device__type * dev_ptr)
   {
     return disk__get_ptr(dev_ptr)->ext;
   }
@@ -2108,7 +2108,7 @@ static NTSTATUS STDCALL scan(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
   {
@@ -2170,12 +2170,12 @@ static NTSTATUS STDCALL show(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
   {
     winvblock__uint32 count;
-    device__type_ptr dev_walker;
+    struct device__type * dev_walker;
     struct bus__type * bus_ptr;
     aoe__mount_disks_ptr disks;
   
@@ -2237,7 +2237,7 @@ static NTSTATUS STDCALL mount(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
   {
@@ -2274,7 +2274,7 @@ NTSTATUS STDCALL aoe__bus_dev_ctl_dispatch(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
   {
@@ -2358,7 +2358,7 @@ static struct aoe__disk_type_ * aoe__create_disk_(void)
  *
  * @v dev_ptr           Points to the AoE disk device to delete.
  */
-static void STDCALL aoe__free_disk_(IN device__type_ptr dev_ptr)
+static void STDCALL aoe__free_disk_(IN struct device__type * dev_ptr)
   {
     disk__type_ptr disk_ptr = disk__get_ptr(dev_ptr);
     struct aoe__disk_type_ * aoe_disk_ptr = aoe__get_(dev_ptr);
index 2d2999b..b274f72 100644 (file)
  */
 
 struct bus__type {
-    device__type_ptr device;
+    struct device__type * device;
     PDEVICE_OBJECT LowerDeviceObject;
     PDEVICE_OBJECT PhysicalDeviceObject;
     winvblock__uint32 Children;
-    device__type_ptr first_child_ptr;
+    struct device__type * first_child_ptr;
     KSPIN_LOCK SpinLock;
     LIST_ENTRY tracking;
     winvblock__any_ptr ext;
@@ -52,8 +52,8 @@ extern void bus__module_shutdown(void);
 extern winvblock__lib_func struct bus__type * bus__create(void);
 extern winvblock__lib_func winvblock__bool STDCALL bus__add_child(
     IN OUT struct bus__type *,
-    IN device__type_ptr
+    IN struct device__type *
   );
-extern winvblock__lib_func struct bus__type * bus__get(device__type_ptr);
+extern winvblock__lib_func struct bus__type * bus__get(struct device__type *);
 
 #endif  /* _BUS_H */
index 805c855..eecc05e 100644 (file)
@@ -38,7 +38,7 @@ enum device__state {
   };
 
 /* Forward declaration. */
-winvblock__def_struct(device__type);
+struct device__type;
 
 /**
  * Device PDO creation routine.
@@ -46,7 +46,9 @@ winvblock__def_struct(device__type);
  * @v dev               The device whose PDO should be created.
  * @ret pdo             Points to the new PDO, or is NULL upon failure.
  */
-typedef PDEVICE_OBJECT STDCALL device__create_pdo_func(IN device__type_ptr);
+typedef PDEVICE_OBJECT STDCALL device__create_pdo_func(
+    IN struct device__type *
+  );
 
 extern winvblock__lib_func device__create_pdo_func device__create_pdo;
 
@@ -55,7 +57,7 @@ extern winvblock__lib_func device__create_pdo_func device__create_pdo;
  *
  * @v dev               The device being initialized.
  */
-typedef winvblock__bool STDCALL device__init_func(IN device__type_ptr);
+typedef winvblock__bool STDCALL device__init_func(IN struct device__type *);
 
 /**
  * Device close routine
@@ -66,7 +68,7 @@ typedef winvblock__bool STDCALL device__init_func(IN device__type_ptr);
 \
 void STDCALL \
 x ( \
-  IN device__type_ptr dev_ptr \
+  IN struct device__type * dev_ptr \
  )
 /*
  * Function pointer for a device close routine.
@@ -89,7 +91,7 @@ extern winvblock__lib_func device__close_decl (
  *
  * @v dev_ptr           Points to the device to delete.
  */
-typedef void STDCALL device__free_func(IN device__type_ptr);
+typedef void STDCALL device__free_func(IN struct device__type *);
 /**
  * Delete a device.
  *
@@ -116,7 +118,7 @@ extern STDCALL NTSTATUS device__init (
  * device__type, track it in a global list, as well as populate the device
  * with default values.
  */
-extern winvblock__lib_func device__type_ptr device__create (
+extern winvblock__lib_func struct device__type * device__create (
   void
  );
 
@@ -130,7 +132,7 @@ winvblock__def_struct(device__ops) {
 typedef void STDCALL (device__thread_func)(IN void *);
 
 /* Details common to all devices this driver works with */
-struct _device__type
+struct device__type
 {
   winvblock__bool IsBus;       /* For debugging */
   /* A device's IRP dispatch routine. */
@@ -149,13 +151,16 @@ struct _device__type
   enum device__state state;
   enum device__state old_state;
   irp__handler_chain irp_handler_chain;
-  device__type_ptr next_sibling_ptr;
+  struct device__type * next_sibling_ptr;
   device__ops ops;
   LIST_ENTRY tracking;
   winvblock__any_ptr ext;
 };
 
-extern winvblock__lib_func device__type_ptr device__get(PDEVICE_OBJECT);
-extern winvblock__lib_func void device__set(PDEVICE_OBJECT, device__type_ptr);
+extern winvblock__lib_func struct device__type * device__get(PDEVICE_OBJECT);
+extern winvblock__lib_func void device__set(
+    PDEVICE_OBJECT,
+    struct device__type *
+  );
 
 #endif  /* _DEVICE_H */
index e5b5c27..38766b1 100644 (file)
@@ -65,7 +65,7 @@ winvblock__def_struct ( disk__type );
 \
 NTSTATUS STDCALL \
 x ( \
-  IN device__type_ptr dev_ptr, \
+  IN struct device__type * dev_ptr, \
   IN disk__io_mode mode, \
   IN LONGLONG start_sector, \
   IN winvblock__uint32 sector_count, \
@@ -173,7 +173,7 @@ winvblock__def_struct ( disk__ops )
 
 struct _disk__type
 {
-  device__type_ptr device;
+  struct device__type * device;
   KEVENT SearchEvent;
   KSPIN_LOCK SpinLock;
   winvblock__bool BootDrive;
index e4a9a4b..2a976a0 100644 (file)
@@ -38,7 +38,7 @@
 #define POOLSIZE 2048
 
 /* An unfortunate forward declaration.  Definition resolved in device.h */
-winvblock__def_struct(device__type);
+struct device__type;
 
 extern PDRIVER_OBJECT driver__obj_ptr;
 extern winvblock__lib_func void STDCALL Driver_CompletePendingIrp(IN PIRP);
@@ -53,7 +53,7 @@ extern NTSTATUS STDCALL DriverEntry(
 
 /* The physical/function device object's (PDO's/FDO's) DeviceExtension */
 winvblock__def_struct(driver__dev_ext) {
-    device__type_ptr device;
+    struct device__type * device;
   };
 
 /* The prototype for a device IRP dispatch. */
index 7ad7331..e743b70 100644 (file)
  */
 
 /* An unfortunate forward declaration.  Definition resolved in device.h */
-winvblock__def_struct ( device__type );
+struct device__type;
 
 /* We have lots of these, so offer a typedef for declarations. */
 typedef NTSTATUS STDCALL irp__handler(
     IN PDEVICE_OBJECT,
     IN PIRP,
     IN PIO_STACK_LOCATION,
-    IN struct _device__type *,
+    IN struct device__type *,
     OUT winvblock__bool_ptr
   );
 
index f113cf8..f1b15d0 100644 (file)
@@ -51,12 +51,12 @@ static device__create_pdo_func bus__create_pdo_;
  */
 winvblock__lib_func winvblock__bool STDCALL bus__add_child(
     IN OUT struct bus__type * bus_ptr,
-    IN OUT device__type_ptr dev_ptr
+    IN OUT struct device__type * dev_ptr
   ) {
     /* The new node's device object. */
     PDEVICE_OBJECT dev_obj_ptr;
     /* Walks the child nodes. */
-    device__type_ptr walker;
+    struct device__type * walker;
 
     DBG("Entry\n");
     if ((bus_ptr == NULL) || (dev_ptr == NULL)) {
@@ -102,7 +102,7 @@ static NTSTATUS STDCALL bus__sys_ctl_(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   ) {
     struct bus__type * bus_ptr = bus__get(dev_ptr);
@@ -118,7 +118,7 @@ static NTSTATUS STDCALL power(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   ) {
     struct bus__type * bus_ptr = bus__get(dev_ptr);
@@ -240,7 +240,7 @@ static NTSTATUS STDCALL bus_dispatch(
   }
 
 /* Initialize a bus. */
-static winvblock__bool STDCALL bus__init_(IN device__type_ptr dev) {
+static winvblock__bool STDCALL bus__init_(IN struct device__type * dev) {
     return TRUE;
   }
 
@@ -255,7 +255,7 @@ static winvblock__bool STDCALL bus__init_(IN device__type_ptr dev) {
  * with default values.
  */
 winvblock__lib_func struct bus__type * bus__create(void) {
-    device__type_ptr dev_ptr;
+    struct device__type * dev_ptr;
     struct bus__type * bus_ptr;
 
     /* Try to create a device. */
@@ -298,7 +298,7 @@ winvblock__lib_func struct bus__type * bus__create(void) {
  *
  * Returns a Physical Device Object pointer on success, NULL for failure.
  */
-static PDEVICE_OBJECT STDCALL bus__create_pdo_(IN device__type_ptr dev) {
+static PDEVICE_OBJECT STDCALL bus__create_pdo_(IN struct device__type * dev) {
     PDEVICE_OBJECT pdo = NULL;
     struct bus__type * bus;
     NTSTATUS status;
@@ -362,7 +362,7 @@ static PDEVICE_OBJECT STDCALL bus__create_pdo_(IN device__type_ptr dev) {
  *
  * @v dev_ptr           Points to the bus device to delete.
  */
-static void STDCALL bus__free_(IN device__type_ptr dev_ptr) {
+static void STDCALL bus__free_(IN struct device__type * dev_ptr) {
     struct bus__type * bus_ptr = bus__get(dev_ptr);
     /* Free the "inherited class". */
     bus_ptr->prev_free(dev_ptr);
@@ -376,6 +376,8 @@ static void STDCALL bus__free_(IN device__type_ptr dev_ptr) {
  * @v dev       A pointer to a device.
  * @ret         A pointer to the device's associated bus.
  */
-extern winvblock__lib_func struct bus__type * bus__get(device__type_ptr dev) {
+extern winvblock__lib_func struct bus__type * bus__get(
+    struct device__type * dev
+  ) {
     return dev->ext;
   }
index f8c2dd3..7180d24 100644 (file)
@@ -42,12 +42,12 @@ static NTSTATUS STDCALL disk_detach(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
   winvblock__uint8_ptr buffer = Irp->AssociatedIrp.SystemBuffer;
-  device__type_ptr dev_walker;
+  struct device__type * dev_walker;
   disk__type_ptr disk_walker = NULL,
     prev_disk_walker;
   struct bus__type * bus_ptr;
@@ -101,7 +101,7 @@ NTSTATUS STDCALL bus_dev_ctl__dispatch(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
index bb64b55..741f619 100644 (file)
@@ -53,7 +53,7 @@ NTSTATUS STDCALL bus_pnp__start_dev(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -93,14 +93,13 @@ NTSTATUS STDCALL bus_pnp__remove_dev(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
   NTSTATUS status;
   struct bus__type * bus_ptr;
-  device__type_ptr walker,
-   next;
+  struct device__type * walker, * next;
   PDEVICE_OBJECT lower;
 
   dev_ptr->old_state = dev_ptr->state;
@@ -134,14 +133,14 @@ NTSTATUS STDCALL bus_pnp__query_dev_relations(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
   NTSTATUS status;
   struct bus__type * bus_ptr;
   winvblock__uint32 count;
-  device__type_ptr walker;
+  struct device__type * walker;
   PDEVICE_RELATIONS dev_relations;
   PDEVICE_OBJECT lower;
 
@@ -207,7 +206,7 @@ NTSTATUS STDCALL bus_pnp__simple(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
index 689c7eb..31fef02 100644 (file)
@@ -229,7 +229,7 @@ Debug_DecodeIrp (
   IN PCHAR DebugMessage
  )
 {
-  device__type_ptr dev_ptr = device__get(DeviceObject);
+  struct device__type * dev_ptr = device__get(DeviceObject);
   PIO_STACK_LOCATION Stack = IoGetCurrentIrpStackLocation ( Irp );
   PSCSI_REQUEST_BLOCK Srb;
   PCDB Cdb;
index 6549467..e899e3c 100644 (file)
@@ -67,12 +67,8 @@ device__init (
  *
  * See the header file for additional details
  */
-winvblock__lib_func device__type_ptr
-device__create (
-  void
- )
-{
-  device__type_ptr dev_ptr;
+winvblock__lib_func struct device__type * device__create(void) {
+  struct device__type * dev_ptr;
 
   /*
    * Devices might be used for booting and should
@@ -103,7 +99,7 @@ device__create (
  * @v dev_ptr           Points to the device that needs a PDO.
  */
 winvblock__lib_func PDEVICE_OBJECT STDCALL device__create_pdo(
-    IN device__type_ptr dev_ptr
+    IN struct device__type * dev_ptr
   ) {
     return dev_ptr->ops.create_pdo(dev_ptr);
   }
@@ -117,7 +113,7 @@ winvblock__lib_func PDEVICE_OBJECT STDCALL device__create_pdo(
  * This function does nothing, since it doesn't make sense to create a PDO
  * for an unknown type of device.
  */
-static PDEVICE_OBJECT STDCALL make_dev_pdo(IN device__type_ptr dev_ptr) {
+static PDEVICE_OBJECT STDCALL make_dev_pdo(IN struct device__type * dev_ptr) {
     DBG("No specific PDO creation operation for this device!\n");
     return NULL;
   }
@@ -143,7 +139,7 @@ device__close_decl (
  *
  * @v dev_ptr           Points to the device to delete.
  */
-winvblock__lib_func void STDCALL device__free(IN device__type_ptr dev_ptr)
+winvblock__lib_func void STDCALL device__free(IN struct device__type * dev_ptr)
   {
     /* Call the device's free routine. */
     dev_ptr->ops.free(dev_ptr);
@@ -154,7 +150,7 @@ winvblock__lib_func void STDCALL device__free(IN device__type_ptr dev_ptr)
  *
  * @v dev_ptr           Points to the device to delete.
  */
-static void STDCALL free_dev(IN device__type_ptr dev_ptr)
+static void STDCALL free_dev(IN struct device__type * dev_ptr)
   {
     /*
      * Track the device deletion in our global list.  Unfortunately,
@@ -172,7 +168,7 @@ static void STDCALL free_dev(IN device__type_ptr dev_ptr)
  * @v dev_obj           Points to the DEVICE_OBJECT to get the device from.
  * @ret                 Returns a pointer to the device on success, else NULL.
  */
-winvblock__lib_func device__type_ptr device__get(PDEVICE_OBJECT dev_obj)
+winvblock__lib_func struct device__type * device__get(PDEVICE_OBJECT dev_obj)
   {
     driver__dev_ext_ptr dev_ext = dev_obj->DeviceExtension;
     return dev_ext->device;
@@ -186,7 +182,7 @@ winvblock__lib_func device__type_ptr device__get(PDEVICE_OBJECT dev_obj)
  */
 winvblock__lib_func void device__set(
     PDEVICE_OBJECT dev_obj,
-    device__type_ptr dev
+    struct device__type * dev
   ) {
     driver__dev_ext_ptr dev_ext = dev_obj->DeviceExtension;
     dev_ext->device = dev;
index c0cd37c..a900c89 100644 (file)
@@ -46,7 +46,7 @@ static NTSTATUS STDCALL storage_query_prop(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -125,7 +125,7 @@ static NTSTATUS STDCALL disk_get_drive_geom(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -152,7 +152,7 @@ static NTSTATUS STDCALL scsi_get_address(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -179,7 +179,7 @@ NTSTATUS STDCALL disk_dev_ctl__dispatch(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
index f9e990e..cb7d1a7 100644 (file)
@@ -70,7 +70,7 @@ disk__max_xfer_len_decl (
 }
 
 /* Initialize a disk. */
-static winvblock__bool STDCALL disk__init_(IN device__type_ptr dev) {
+static winvblock__bool STDCALL disk__init_(IN struct device__type * dev) {
     disk__type_ptr disk_ptr = disk__get_ptr(dev);
     return disk_ptr->disk_ops.init(disk_ptr);
   }
@@ -99,7 +99,7 @@ static NTSTATUS STDCALL power(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
   {
@@ -114,7 +114,7 @@ static NTSTATUS STDCALL sys_ctl(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -132,7 +132,7 @@ static NTSTATUS STDCALL sys_ctl(
  *
  * Returns a Physical Device Object pointer on success, NULL for failure.
  */
-static PDEVICE_OBJECT STDCALL create_pdo(IN device__type_ptr dev_ptr) {
+static PDEVICE_OBJECT STDCALL create_pdo(IN struct device__type * dev_ptr) {
     /**
      * @v disk_ptr          Used for pointing to disk details
      * @v status            Status of last operation
@@ -418,7 +418,7 @@ disk__create (
   void
  )
 {
-  device__type_ptr dev_ptr;
+  struct device__type * dev_ptr;
   disk__type_ptr disk_ptr;
 
   /*
@@ -489,7 +489,7 @@ disk__init (
  *
  * @v dev_ptr           Points to the disk device to delete.
  */
-static void STDCALL free_disk(IN device__type_ptr dev_ptr)
+static void STDCALL free_disk(IN struct device__type * dev_ptr)
   {
     disk__type_ptr disk_ptr = disk__get_ptr(dev_ptr);
     /* Free the "inherited class". */
index 10a082c..e889a3e 100644 (file)
@@ -43,7 +43,7 @@ NTSTATUS STDCALL disk_pnp__query_id(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -103,7 +103,7 @@ NTSTATUS STDCALL disk_pnp__query_dev_text(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -179,7 +179,7 @@ NTSTATUS STDCALL disk_pnp__query_dev_relations(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -223,7 +223,7 @@ NTSTATUS STDCALL disk_pnp__query_bus_info(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -258,7 +258,7 @@ NTSTATUS STDCALL disk_pnp__query_capabilities(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -339,7 +339,7 @@ NTSTATUS STDCALL disk_pnp__simple(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
index 06cc02c..0ddf070 100644 (file)
@@ -117,7 +117,7 @@ typedef struct _DISK_CDB16
 \
 NTSTATUS STDCALL                                \
 x (                                             \
-  IN struct _device__type *dev_ptr,             \
+  IN struct device__type * dev_ptr,             \
   IN PIRP Irp,                                  \
   IN disk__type_ptr disk_ptr,                   \
   IN PSCSI_REQUEST_BLOCK Srb,                   \
@@ -350,7 +350,7 @@ NTSTATUS STDCALL disk_scsi__dispatch(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
index 34348bb..754aa1b 100644 (file)
@@ -124,7 +124,7 @@ static NTSTATUS STDCALL driver__attach_fdo_(
     struct bus__type * bus;
     PUNICODE_STRING dev_name = NULL;
     PDEVICE_OBJECT fdo = NULL;
-    device__type_ptr dev_ptr;
+    struct device__type * dev_ptr;
 
     DBG("Entry\n");
     /* Do we alreay have our main bus? */
@@ -353,7 +353,7 @@ extern winvblock__lib_func NTSTATUS STDCALL driver__create_close(
     IN PDEVICE_OBJECT dev_obj,
     IN PIRP irp,
     IN PIO_STACK_LOCATION stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   ) {
     NTSTATUS status = STATUS_SUCCESS;
@@ -369,7 +369,7 @@ extern winvblock__lib_func NTSTATUS STDCALL driver__not_supported(
     IN PDEVICE_OBJECT dev_obj,
     IN PIRP irp,
     IN PIO_STACK_LOCATION stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   ) {
     NTSTATUS status = STATUS_NOT_SUPPORTED;
@@ -385,7 +385,7 @@ static NTSTATUS STDCALL driver__dispatch_(
     IN PIRP Irp
   ) {
     NTSTATUS status;
-    device__type_ptr dev_ptr;
+    struct device__type * dev_ptr;
 
     #ifdef DEBUGIRPS
     Debug_IrpStart(DeviceObject, Irp);
index 609937b..97d45a4 100644 (file)
@@ -134,7 +134,7 @@ NTSTATUS STDCALL filedisk__attach(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
 {
@@ -329,7 +329,7 @@ filedisk__init (
  *
  * @v dev_ptr           Points to the file-backed disk device to delete.
  */
-static void STDCALL free_filedisk(IN device__type_ptr dev_ptr)
+static void STDCALL free_filedisk(IN struct device__type * dev_ptr)
   {
     disk__type_ptr disk_ptr = disk__get_ptr(dev_ptr);
     filedisk__type_ptr filedisk_ptr = filedisk__get_ptr(dev_ptr);
@@ -354,7 +354,7 @@ static void STDCALL free_filedisk(IN device__type_ptr dev_ptr)
 winvblock__def_struct ( thread_req )
 {
   LIST_ENTRY list_entry;
-  device__type_ptr dev_ptr;
+  struct device__type * dev_ptr;
   disk__io_mode mode;
   LONGLONG start_sector;
   winvblock__uint32 sector_count;
@@ -462,7 +462,7 @@ disk__io_decl (
  *
  * @v dev_ptr           Points to the file-backed disk device to delete.
  */
-static void STDCALL free_threaded_filedisk(IN device__type_ptr dev_ptr)
+static void STDCALL free_threaded_filedisk(IN struct device__type * dev_ptr)
   {
     /*
      * Queue the tear-down and return.  The thread will catch this on timeout.
index 51c15eb..5fbd768 100644 (file)
@@ -214,7 +214,7 @@ NTSTATUS STDCALL irp__process(
     IN PDEVICE_OBJECT DeviceObject,
     IN PIRP Irp,
     IN PIO_STACK_LOCATION Stack,
-    IN struct _device__type * dev_ptr,
+    IN struct device__type * dev_ptr,
     OUT winvblock__bool_ptr completion_ptr
   )
   {
@@ -240,7 +240,7 @@ NTSTATUS STDCALL irp__process(
   }
 
 static void STDCALL (irp_thread)(IN void * (context)) {
-    device__type * (dev) = context;
+    struct device__type * dev = context;
     LARGE_INTEGER (timeout);
     PLIST_ENTRY (walker);
 
index 1562248..e4f5a72 100644 (file)
@@ -228,7 +228,7 @@ ramdisk__init (
  *
  * @v dev_ptr           Points to the RAM disk device to delete.
  */
-static void STDCALL free_ramdisk(IN device__type_ptr dev_ptr)
+static void STDCALL free_ramdisk(IN struct device__type * dev_ptr)
   {
     disk__type_ptr disk_ptr = disk__get_ptr(dev_ptr);
     ramdisk__type_ptr ramdisk_ptr = ramdisk_get_ptr(dev_ptr);