diff options
Diffstat (limited to 'include/device/device_types.defs')
| -rw-r--r-- | include/device/device_types.defs | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/include/device/device_types.defs b/include/device/device_types.defs index e97d89ca..c74bff51 100644 --- a/include/device/device_types.defs +++ b/include/device/device_types.defs @@ -43,10 +43,21 @@ DEVICE_IMPORTS #endif -type recnum_t = uint32_t; +type rpc_recnum_t = rpc_long_natural_t; +type recnum_t = rpc_recnum_t +#if defined(KERNEL_SERVER) + intran: recnum_t convert_long_natural_from_user(rpc_recnum_t) + outtran: rpc_recnum_t convert_long_natural_to_user(recnum_t) +#elif defined(KERNEL_USER) + ctype: rpc_recnum_t +#endif + ; + type dev_mode_t = uint32_t; type dev_flavor_t = uint32_t; type dev_name_t = (MACH_MSG_TYPE_STRING_C, 8*128); +type new_dev_name_t = c_string[128] + ctype: dev_name_t; type dev_status_t = array[*:1024] of int; type io_buf_ptr_t = ^array[] of MACH_MSG_TYPE_INTEGER_8; type io_buf_ptr_inband_t= array[*:128] of char; |