diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-12 12:23:46 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-12 12:23:46 +0200 |
| commit | 365e44bb46b55b11946852b4ce30a94de5572a40 (patch) | |
| tree | 1399221a69ef9798b7a898bc3a70e3d29dc1c6f0 /debian/patches | |
| parent | 991faf8c7655d7e60ab51632e4c6c57bbe3248f4 (diff) | |
rm fix_device_open.patch
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 |