[PATCH 24/41] devnode: Port to x86_64

[Sergey Bugaev]

---
 devnode/devnode.c | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/devnode/devnode.c b/devnode/devnode.c
index f5a00f1b..3db098a2 100644
--- a/devnode/devnode.c
+++ b/devnode/devnode.c
@@ -193,8 +193,8 @@ ds_device_close (device_t device)
 kern_return_t
 ds_device_write (device_t device, mach_port_t reply_port,
                 mach_msg_type_name_t reply_type, dev_mode_t mode,
-                recnum_t recnum, io_buf_ptr_t data, size_t datalen,
-                int *bytes_written)
+                recnum_t recnum, io_buf_ptr_t data,
+                mach_msg_type_number_t datalen, int *bytes_written)
 {
   return D_INVALID_OPERATION;
 }
@@ -203,7 +203,7 @@ kern_return_t
 ds_device_write_inband (device_t device, mach_port_t reply_port,
                        mach_msg_type_name_t reply_type, dev_mode_t mode,
                        recnum_t recnum, const io_buf_ptr_inband_t data,
-                       size_t datalen, int *bytes_written)
+                       mach_msg_type_number_t datalen, int *bytes_written)
 {
   return D_INVALID_OPERATION;
 }
@@ -212,7 +212,7 @@ kern_return_t
 ds_device_read (device_t device, mach_port_t reply_port,
                mach_msg_type_name_t reply_type, dev_mode_t mode,
                recnum_t recnum, int bytes_wanted,
-               io_buf_ptr_t *data, size_t *datalen)
+               io_buf_ptr_t *data, mach_msg_type_number_t *datalen)
 {
   return D_INVALID_OPERATION;
 }
@@ -221,7 +221,8 @@ kern_return_t
 ds_device_read_inband (device_t device, mach_port_t reply_port,
                       mach_msg_type_name_t reply_type, dev_mode_t mode,
                       recnum_t recnum, int bytes_wanted,
-                      io_buf_ptr_inband_t data, size_t *datalen)
+                      io_buf_ptr_inband_t data,
+                      mach_msg_type_number_t *datalen)
 {
   return D_INVALID_OPERATION;
 }
@@ -235,21 +236,24 @@ ds_device_map (device_t device, vm_prot_t prot, 
vm_offset_t offset,
 
 kern_return_t
 ds_device_set_status (device_t device, dev_flavor_t flavor,
-                     dev_status_t status, size_t statuslen)
+                     dev_status_t status,
+                     mach_msg_type_number_t statuslen)
 {
   return D_INVALID_OPERATION;
 }
 
 kern_return_t
 ds_device_get_status (device_t device, dev_flavor_t flavor,
-                     dev_status_t status, size_t *statuslen)
+                     dev_status_t status,
+                     mach_msg_type_number_t *statuslen)
 {
   return D_INVALID_OPERATION;
 }
 
 kern_return_t
 ds_device_set_filter (device_t device, mach_port_t receive_port,
-                     int priority, filter_array_t filter, size_t filterlen)
+                     int priority, filter_array_t filter,
+                     mach_msg_type_number_t filterlen)
 {
   return D_INVALID_OPERATION;
 }
-- 
2.40.1