summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1993-10-26 09:07:48 +0000
committerMichael I. Bushnell <mib@gnu.org>1993-10-26 09:07:48 +0000
commit46df8d32b13a63ccad0298d71ade6de4e676814f (patch)
tree4b5bd66056746bf31c6b2da235b6a0de7eeab121
parent2e0fe701b52eca9c5d9d671e340422c08b014e3a (diff)
Formerly exec.defs.~28~
-rw-r--r--hurd/exec.defs11
1 files changed, 6 insertions, 5 deletions
diff --git a/hurd/exec.defs b/hurd/exec.defs
index c4c288d5..d2a54411 100644
--- a/hurd/exec.defs
+++ b/hurd/exec.defs
@@ -34,7 +34,8 @@ routine exec_exec ( /* Better name, Roland??
dtable: portarray_t;
portarray: portarray_t;
intarray: intarray_t;
- deallocnames: mach_port_name_array_t);
+ deallocnames: mach_port_name_array_t;
+ destroynames: mach_port_name_array_t);
/* This call is made by a new task to its bootstrap port to get its
startup ports and information. */
@@ -52,8 +53,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 a port to startup, whence it can get all else. */
-routine exec_boot_init (
+/* This call is made by the bootstrapping filesystem to give the
+ execserver its auth handle. */
+routine exec_here_is_auth (
execserver: mach_port_t;
- init: startup_t);
+ auth_handle: auth_t);