diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 01:57:21 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 01:57:21 +0000 |
| commit | 28fad30be91f8fa76071cd8a5ac1f345d4d2b553 (patch) | |
| tree | 2aefc6fca1302fdbeceae9c6dbbe57a7dc6b3007 /hurd/exec.defs | |
| parent | bf98423f221b2e3b2339775fc920ce04a4038577 (diff) | |
Formerly exec.defs.~29~
Diffstat (limited to 'hurd/exec.defs')
| -rw-r--r-- | hurd/exec.defs | 10 |
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); |