diff options
| -rw-r--r-- | debian/patches/mutable_device_t.patch | 32 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 33 insertions, 0 deletions
diff --git a/debian/patches/mutable_device_t.patch b/debian/patches/mutable_device_t.patch new file mode 100644 index 0000000..eac2adc --- /dev/null +++ b/debian/patches/mutable_device_t.patch @@ -0,0 +1,32 @@ +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 9825c75..86a9196 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 70_dde.patch protected_payload.patch +mutable_device_t.patch |