summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1993-10-28 01:57:21 +0000
committerMichael I. Bushnell <mib@gnu.org>1993-10-28 01:57:21 +0000
commit28fad30be91f8fa76071cd8a5ac1f345d4d2b553 (patch)
tree2aefc6fca1302fdbeceae9c6dbbe57a7dc6b3007
parentbf98423f221b2e3b2339775fc920ce04a4038577 (diff)
Formerly exec.defs.~29~
-rw-r--r--hurd/exec.defs10
1 files changed, 8 insertions, 2 deletions
diff --git a/hurd/exec.defs b/hurd/exec.defs
index d2a54411..0c8b7b8c 100644
--- a/hurd/exec.defs
+++ b/hurd/exec.defs
@@ -55,6 +55,12 @@ routine exec_startup (
/* This call is made by the bootstrapping filesystem to give the
execserver its auth handle. */
-routine exec_here_is_auth (
+routine exec_init (
execserver: mach_port_t;
- auth_handle: auth_t);
+ auth_handle: auth_t;
+ proc_server: process_t);
+
+routine exec_setexecdata (
+ execserver: mach_port_t;
+ ports: portarray_t;
+ ints: intarray_t);