diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-08 15:43:15 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-08 15:43:15 +0200 |
| commit | 1ac993830c99bfb1d2c4ccdd538ccc40ffeeeaac (patch) | |
| tree | 82773f09a71b723a1412ac8f87d9d44a2b9ab3ee | |
| parent | 1a082bcdb70868c22a23120aeb2b0fbfee1e2240 (diff) | |
add mutable_device_t.patch
| -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 |