From 1684adf6190b68d6a7a9837f35e8d097ae20aabe Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 9 Apr 2014 14:43:19 +0200
Subject: rm mutable_device_t.patch

---
 debian/patches/mutable_device_t.patch | 32 --------------------------------
 debian/patches/series                 |  1 -
 2 files changed, 33 deletions(-)
 delete mode 100644 debian/patches/mutable_device_t.patch

(limited to 'debian')

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
-- 
cgit v1.2.3