diff options
| -rw-r--r-- | hurd/startup_reply.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hurd/startup_reply.defs b/hurd/startup_reply.defs index 528f46c7..ec0fc8b7 100644 --- a/hurd/startup_reply.defs +++ b/hurd/startup_reply.defs @@ -38,6 +38,7 @@ skip; /* startup_reboot */ simpleroutine startup_procinit_reply ( reply_port: reply_port_t; retcode: kern_return_t; + startup_task: task_t; auth: auth_t; host_priv: mach_port_send_t; device_master: mach_port_send_t); |