From 991faf8c7655d7e60ab51632e4c6c57bbe3248f4 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 10 Apr 2014 17:53:10 +0200
Subject: add fix_device_open.patch

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

(limited to 'debian')

diff --git a/debian/patches/fix_device_open.patch b/debian/patches/fix_device_open.patch
new file mode 100644
index 0000000..e5b968b
--- /dev/null
+++ b/debian/patches/fix_device_open.patch
@@ -0,0 +1,22 @@
+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 9825c75..8056fde 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@
 70_dde.patch
 
 protected_payload.patch
+fix_device_open.patch
-- 
cgit v1.2.3