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