diff options
Diffstat (limited to 'debian/patches/fix_device_open.patch')
| -rw-r--r-- | debian/patches/fix_device_open.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/fix_device_open.patch b/debian/patches/fix_device_open.patch new file mode 100644 index 0000000..e5b968b --- /dev/null +++ b/debian/patches/fix_device_open.patch @@ -0,0 +1,22 @@ +diff --git a/include/device/device.defs b/include/device/device.defs +index d9234e3..5fdf1bd 100644 +--- a/include/device/device.defs ++++ b/include/device/device.defs +@@ -52,7 +52,16 @@ routine device_open( + sreplyport reply_port : reply_port_t; + mode : dev_mode_t; + name : dev_name_t; +- out device : device_t ++ out device : device_t = ++ MACH_MSG_TYPE_PORT_SEND ++ ctype: mach_port_t ++#if KERNEL_SERVER ++ outtran: mach_port_t convert_device_to_port(device_t) ++#else ++#ifdef DEVICE_OUTTRAN ++ outtran: DEVICE_OUTTRAN ++#endif ++#endif /* KERNEL_SERVER */ + ); + + routine device_close( |