3 files changed, 12 insertions, 10 deletions
diff --git a/device/device_emul.h b/device/device_emul.h
index 879736c..957bd50 100644
--- a/device/device_emul.h
+++ b/device/device_emul.h
@@ -32,9 +32,9 @@
 /* Each emulation layer provides these operations.  */
 struct device_emulation_ops
 {
-  void (*reference) (mach_device_t);
-  void (*dealloc) (mach_device_t);
-  ipc_port_t (*dev_to_port) (mach_device_t);
+  void (*reference) (void *);
+  void (*dealloc) (void *);
+  ipc_port_t (*dev_to_port) (void *);
   io_return_t (*open) (ipc_port_t, mach_msg_type_name_t,
 		       dev_mode_t, char *, device_t *);
   io_return_t (*close) (void *);
@@ -55,9 +55,9 @@ struct device_emulation_ops
   io_return_t (*map) (void *, vm_prot_t, vm_offset_t,
 		      vm_size_t, ipc_port_t *, boolean_t);
   void (*no_senders) (mach_no_senders_notification_t *);
-  io_return_t (*write_trap) (mach_device_t, dev_mode_t,
+  io_return_t (*write_trap) (void *, dev_mode_t,
 			     recnum_t, vm_offset_t, vm_size_t);
-  io_return_t (*writev_trap) (mach_device_t, dev_mode_t,
+  io_return_t (*writev_trap) (void *, dev_mode_t,
 			      recnum_t, io_buf_vec_t *, vm_size_t);
 };
 
diff --git a/device/ds_routines.c b/device/ds_routines.c
index 943185e..9ec5a6b 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -1818,9 +1818,9 @@ device_writev_trap (mach_device_t device, dev_mode_t mode,
 
 struct device_emulation_ops mach_device_emulation_ops =
 {
-  mach_device_reference,
-  mach_device_deallocate,
-  mach_convert_device_to_port,
+  (void*) mach_device_reference,
+  (void*) mach_device_deallocate,
+  (void*) mach_convert_device_to_port,
   device_open,
   device_close,
   device_write,
@@ -1832,6 +1832,6 @@ struct device_emulation_ops mach_device_emulation_ops =
   device_set_filter,
   device_map,
   ds_no_senders,
-  device_write_trap,
-  device_writev_trap
+  (void*) device_write_trap,
+  (void*) device_writev_trap
 };
diff --git a/device/ds_routines.h b/device/ds_routines.h
index 24668b4..e1f6aad 100644
--- a/device/ds_routines.h
+++ b/device/ds_routines.h
@@ -46,6 +46,8 @@ vm_map_t	device_io_map;
 kern_return_t	device_read_alloc(io_req_t, vm_size_t);
 kern_return_t	device_write_get(io_req_t, boolean_t *);
 boolean_t	device_write_dealloc(io_req_t);
+void		device_reference(device_t);
+void		device_deallocate(device_t);
 
 boolean_t	ds_notify(mach_msg_header_t *msg);
 boolean_t	ds_open_done(io_req_t);