diff options
| -rw-r--r-- | hurd/startup_reply.defs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/hurd/startup_reply.defs b/hurd/startup_reply.defs index a7dfa59d..528f46c7 100644 --- a/hurd/startup_reply.defs +++ b/hurd/startup_reply.defs @@ -39,10 +39,10 @@ simpleroutine startup_procinit_reply ( reply_port: reply_port_t; retcode: kern_return_t; auth: auth_t; - host_priv: mach_port_move_send_t; - device_master: mach_port_move_send_t); + host_priv: mach_port_send_t; + device_master: mach_port_send_t); simpleroutine startup_authinit_reply ( reply_port: reply_port_t; retcode: kern_return_t; - proc: mach_port_move_send_t); + proc: mach_port_send_t); |