diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-21 01:05:49 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-28 12:43:36 +0100 |
| commit | 51ebaeb376521c0dbd0020d3515a4b5dfe01a12d (patch) | |
| tree | 3649e3e7e92c28ca187d721e0f573d66ea994308 /include/device/device_request.defs | |
| parent | 9b6a4ba270d9d8850c5663567fb45e9a04530fa2 (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.defs | 8 |
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; |