diff options
| -rw-r--r-- | debian/patches/mutable_device_t.patch | 32 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 33 deletions
diff --git a/debian/patches/mutable_device_t.patch b/debian/patches/mutable_device_t.patch deleted file mode 100644 index eac2adc..0000000 --- a/debian/patches/mutable_device_t.patch +++ /dev/null @@ -1,32 +0,0 @@ -diff --git a/include/device/device_types.defs b/include/device/device_types.defs -index 79e4c5b..ff6cff6 100644 ---- a/include/device/device_types.defs -+++ b/include/device/device_types.defs -@@ -39,6 +39,10 @@ - - #include <mach/std_types.defs> - -+#ifdef DEVICE_IMPORTS -+DEVICE_IMPORTS -+#endif -+ - type recnum_t = unsigned32; - type dev_mode_t = unsigned32; - type dev_flavor_t = unsigned32; -@@ -55,6 +59,16 @@ type device_t = mach_port_t - intran: device_t dev_port_lookup(mach_port_t) - outtran: mach_port_t convert_device_to_port(device_t) - destructor: device_deallocate(device_t) -+#else /* KERNEL_SERVER */ -+#ifdef DEVICE_INTRAN -+ intran: DEVICE_INTRAN -+#endif -+#ifdef DEVICE_OUTTRAN -+ outtran: DEVICE_OUTTRAN -+#endif -+#ifdef DEVICE_DESTRUCTOR -+ destructor: DEVICE_DESTRUCTOR -+#endif - #endif /* KERNEL_SERVER */ - ; - diff --git a/debian/patches/series b/debian/patches/series index 86a9196..9825c75 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,4 +5,3 @@ 70_dde.patch protected_payload.patch -mutable_device_t.patch |