diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/fix_device_open.patch | 22 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 23 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( diff --git a/debian/patches/series b/debian/patches/series index 8056fde..9825c75 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,4 +5,3 @@ 70_dde.patch protected_payload.patch -fix_device_open.patch |