summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-09 14:43:19 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-09 14:43:19 +0200
commit1684adf6190b68d6a7a9837f35e8d097ae20aabe (patch)
tree1399221a69ef9798b7a898bc3a70e3d29dc1c6f0 /debian
parented98303c4b4eeb6d4cf7013d352a9179067520f4 (diff)
rm mutable_device_t.patch
Diffstat (limited to 'debian')
-rw-r--r--debian/patches/mutable_device_t.patch32
-rw-r--r--debian/patches/series1
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