diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-10 17:53:10 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-10 17:53:10 +0200 |
| commit | 991faf8c7655d7e60ab51632e4c6c57bbe3248f4 (patch) | |
| tree | 13221814b0dae49824fbdffa2e1678cebc437345 /debian | |
| parent | 1684adf6190b68d6a7a9837f35e8d097ae20aabe (diff) | |
add fix_device_open.patch
Diffstat (limited to 'debian')
| -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 |