diff options
Diffstat (limited to 'debian/patches/fix_device_open.patch')
| -rw-r--r-- | debian/patches/fix_device_open.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/debian/patches/fix_device_open.patch b/debian/patches/fix_device_open.patch deleted file mode 100644 index e5b968b..0000000 --- a/debian/patches/fix_device_open.patch +++ /dev/null @@ -1,22 +0,0 @@ -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( |