diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
commit | a2952398e5de8746a761a59686619d08d376bce3 (patch) | |
tree | df2373bb1119468873c667624769455c36dc3786 /include/device/device_request.defs | |
parent | ba1b3afd50913473f3036a63b4a82d7ba5c42009 (diff) | |
parent | 92e98a7f4d4fa75b286a067e1d1caef514fccb0d (diff) |
Merge branch 'master' into master-gdb_stubs
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 e8aab2a6..7ea8637c 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; |