diff options
| -rw-r--r-- | hurd/exec.defs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/hurd/exec.defs b/hurd/exec.defs index 754853b9..a9b24608 100644 --- a/hurd/exec.defs +++ b/hurd/exec.defs @@ -45,8 +45,8 @@ routine exec_startup ( out portarray: portarray_t; out intarray: intarray_t); -/* This call is made by the bootstrap filesystem to - give the exec server the standard ports. */ -routine exec_boot_setup ( +/* This call is made by the bootstrap filesystem to give the + exec server a port to init, whence it can get all else. */ +routine exec_boot_init ( execserver: mach_port_t; - portarray: portarray_t); + init: startup_t); |