summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-01 16:19:43 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-01 16:19:43 +0100
commit0f22e6c59d584ea3ab2be13e0388141183c622b7 (patch)
tree607cd0e3adf6277ba993ec402f3181a6507e2e44
parentafb1c1a74f1837075fe19680424640b5533cacd0 (diff)
drop old patch series
-rw-r--r--debian/patches/0001-include-make-mach_port_t-payload-aware.patch100
-rw-r--r--debian/patches/series1
2 files changed, 0 insertions, 101 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
deleted file mode 100644
index 587c96f..0000000
--- a/debian/patches/0001-include-make-mach_port_t-payload-aware.patch
+++ /dev/null
@@ -1,100 +0,0 @@
-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 3b39d51..39a711a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -8,4 +8,3 @@ 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