summaryrefslogtreecommitdiff
path: root/include/device/device_request.defs
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-21 01:05:49 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-28 12:43:36 +0100
commit51ebaeb376521c0dbd0020d3515a4b5dfe01a12d (patch)
tree3649e3e7e92c28ca187d721e0f573d66ea994308 /include/device/device_request.defs
parent9b6a4ba270d9d8850c5663567fb45e9a04530fa2 (diff)
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.
Diffstat (limited to 'include/device/device_request.defs')
-rw-r--r--include/device/device_request.defs8
1 files changed, 7 insertions, 1 deletions
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;