add patch series

2 files changed, 101 insertions, 0 deletions

diff --git a/debian/patches/0001-include-make-mach_port_t-payload-aware.patch b/debian/patches/0001-include-make-mach_port_t-payload-aware.patch
new file mode 100644
index 0000000..587c96f
--- /dev/null
+++ b/debian/patches/0001-include-make-mach_port_t-payload-aware.patch
@@ -0,0 +1,100 @@
+From f74f428d2894b615569774ec53101c6be7141182 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Fri, 21 Nov 2014 01:05:49 +0100
+Subject: [PATCH gnumach] include: make `mach_port_t' payload-aware
+
+Honor a new macro `MACH_PAYLOAD_TO_PORT' to inject a translation
+function mapping payloads to port names in the definition of
+`mach_port_t'.
+
+* include/mach/std_types.defs (mach_port_t): Honor
+`MACH_PAYLOAD_TO_PORT'.
+* include/device/device.defs (reply_port_t): Likewise.
+* include/device/device_reply.defs (reply_port_t): Likewise.
+* include/device/device_request.defs (reply_port_t): Likewise.
+---
+ include/device/device.defs         | 8 +++++++-
+ include/device/device_reply.defs   | 8 +++++++-
+ include/device/device_request.defs | 8 +++++++-
+ include/mach/std_types.defs        | 8 +++++++-
+ 4 files changed, 28 insertions(+), 4 deletions(-)
+
+diff --git a/include/device/device.defs b/include/device/device.defs
+index 5fdf1bd..409146f 100644
+--- a/include/device/device.defs
++++ b/include/device/device.defs
+@@ -45,7 +45,13 @@ subsystem
+ serverprefix	ds_;
+ 
+ type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE | polymorphic
+-	ctype: mach_port_t;
++	ctype: mach_port_t
++#ifndef	KERNEL_SERVER
++#ifdef	MACH_PAYLOAD_TO_PORT
++		intranpayload: mach_port_t MACH_PAYLOAD_TO_PORT
++#endif	/* MACH_PAYLOAD_TO_PORT */
++#endif	/* KERNEL_SERVER */
++;
+ 
+ routine device_open(
+ 		master_port	: mach_port_t;
+diff --git a/include/device/device_reply.defs b/include/device/device_reply.defs
+index 3415677..5a32507 100644
+--- a/include/device/device_reply.defs
++++ b/include/device/device_reply.defs
+@@ -54,7 +54,13 @@ serverdemux seqnos_device_reply_server;
+ #endif	/* SEQNOS */
+ 
+ type reply_port_t = polymorphic|MACH_MSG_TYPE_PORT_SEND_ONCE
+-	ctype: mach_port_t;
++	ctype: mach_port_t
++#ifndef	KERNEL_SERVER
++#ifdef	MACH_PAYLOAD_TO_PORT
++	intranpayload: mach_port_t MACH_PAYLOAD_TO_PORT
++#endif	/* MACH_PAYLOAD_TO_PORT */
++#endif	/* KERNEL_SERVER */
++;
+ 
+ simpleroutine	device_open_reply(
+ 	    reply_port		: reply_port_t;
+diff --git a/include/device/device_request.defs b/include/device/device_request.defs
+index e8aab2a..7ea8637 100644
+--- a/include/device/device_request.defs
++++ b/include/device/device_request.defs
+@@ -37,7 +37,13 @@ subsystem device_request 2800;	/* to match device.defs */
+ serverprefix	ds_;
+ 
+ type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE
+-	ctype: mach_port_t;
++	ctype: mach_port_t
++#ifndef	KERNEL_SERVER
++#ifdef	MACH_PAYLOAD_TO_PORT
++	intranpayload: mach_port_t MACH_PAYLOAD_TO_PORT
++#endif	/* MACH_PAYLOAD_TO_PORT */
++#endif	/* KERNEL_SERVER */
++;
+ 
+ simpleroutine device_open_request(
+ 	    device_server_port	: mach_port_t;
+diff --git a/include/mach/std_types.defs b/include/mach/std_types.defs
+index 00d1a69..a1f156d 100644
+--- a/include/mach/std_types.defs
++++ b/include/mach/std_types.defs
+@@ -49,7 +49,13 @@ type pointer_t = ^array[] of MACH_MSG_TYPE_BYTE
+ 	ctype: vm_offset_t;
+ 
+ 
+-type mach_port_t = MACH_MSG_TYPE_COPY_SEND;
++type mach_port_t = MACH_MSG_TYPE_COPY_SEND
++#ifndef	KERNEL_SERVER
++#ifdef	MACH_PAYLOAD_TO_PORT
++		intranpayload: mach_port_t MACH_PAYLOAD_TO_PORT
++#endif	/* MACH_PAYLOAD_TO_PORT */
++#endif	/* KERNEL_SERVER */
++;
+ type mach_port_array_t = array[] of mach_port_t;
+ 
+ type mach_port_name_t = MACH_MSG_TYPE_PORT_NAME
+-- 
+2.1.3
+
diff --git a/debian/patches/series b/debian/patches/series
index 39a711a..3b39d51 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -8,3 +8,4 @@ Add-some-padding-to-make-objects-fit-a-single-cache-.patch
 vm_cache_policy.patch
 tn-0001-kern-provide-notifications-about-new-tasks.patch
 tn-0002-include-add-X_IMPORTS-to-ipc-definitions.patch
+0001-include-make-mach_port_t-payload-aware.patch