diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-03-30 19:25:03 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-30 19:25:03 +0000 |
commit | 3895d0c9a420309ae1b965fe1cb214b8ce6f4de2 (patch) | |
tree | a826729f6cee94177fcdd70539e7d4e4e5b67ead | |
parent | fd90eabf19640cdb6debdb435e58c4d18151e46f (diff) |
Formerly startup_reply.defs.~6~
-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); |