summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1993-10-28 01:54:27 +0000
committerMichael I. Bushnell <mib@gnu.org>1993-10-28 01:54:27 +0000
commitbf98423f221b2e3b2339775fc920ce04a4038577 (patch)
treecef561ff14166bdd6c19d75877314a8416a23df8
parentde18a385876da24823376559e704d3e6dd2def69 (diff)
Formerly startup.defs.~15~
-rw-r--r--hurd/startup.defs8
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);