Formerly startup.defs.~15~

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);