diff options
| -rw-r--r-- | hurd/startup.defs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index 0140eec7..020f6a8e 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -55,6 +55,10 @@ routine startup_reboot ( bootstrap port. */ routine startup_procinit ( server: startup_t; + startup_proc: process_t; + fs_proc: process_t; + auth_proc: process_t; + out auth: auth_t; out host_priv: mach_port_t; out device_master: mach_port_t); @@ -64,3 +68,7 @@ routine startup_procinit ( routine startup_authinit ( server: startup_t; auth: mach_port_make_send_t); + +routine startup_authinit2 ( + server: startup_t; + out proc: process_t); |