From 1ac993830c99bfb1d2c4ccdd538ccc40ffeeeaac Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Tue, 8 Apr 2014 15:43:15 +0200 Subject: add mutable_device_t.patch --- debian/patches/mutable_device_t.patch | 32 ++++++++++++++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 33 insertions(+) create mode 100644 debian/patches/mutable_device_t.patch (limited to 'debian/patches') 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 + ++#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 -- cgit v1.2.3