From 365e44bb46b55b11946852b4ce30a94de5572a40 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sat, 12 Apr 2014 12:23:46 +0200
Subject: rm fix_device_open.patch

---
 debian/patches/fix_device_open.patch | 22 ----------------------
 debian/patches/series                |  1 -
 2 files changed, 23 deletions(-)
 delete mode 100644 debian/patches/fix_device_open.patch

diff --git a/debian/patches/fix_device_open.patch b/debian/patches/fix_device_open.patch
deleted file mode 100644
index e5b968b..0000000
--- a/debian/patches/fix_device_open.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-diff --git a/include/device/device.defs b/include/device/device.defs
-index d9234e3..5fdf1bd 100644
---- a/include/device/device.defs
-+++ b/include/device/device.defs
-@@ -52,7 +52,16 @@ routine device_open(
- 	sreplyport reply_port	: reply_port_t;
- 		mode		: dev_mode_t;
- 		name		: dev_name_t;
--	out	device		: device_t
-+	out	device		: device_t =
-+					MACH_MSG_TYPE_PORT_SEND
-+					ctype: mach_port_t
-+#if	KERNEL_SERVER
-+		outtran: mach_port_t convert_device_to_port(device_t)
-+#else
-+#ifdef	DEVICE_OUTTRAN
-+		outtran: DEVICE_OUTTRAN
-+#endif
-+#endif	/* KERNEL_SERVER */
- 	);
- 
- routine device_close(
diff --git a/debian/patches/series b/debian/patches/series
index 8056fde..9825c75 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,4 +5,3 @@
 70_dde.patch
 
 protected_payload.patch
-fix_device_open.patch
-- 
cgit v1.2.3