summaryrefslogtreecommitdiff
path: root/hurd/exec.defs
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1995-10-10 21:29:27 +0000
committerRoland McGrath <roland@gnu.org>1995-10-10 21:29:27 +0000
commit8111b8a7a7f671027cec3de1abd6d15e3f4f97f8 (patch)
tree7b2ce8592655b3e9be4713817ec1a48c489f85b1 /hurd/exec.defs
parent0b41d011be095d7036e3c4eab1fe11c2bf1a17bd (diff)
[EXEC_IMPORTS]: Use this if defined.
(exec_exec, exec_init, exec_setexecdata): Use file_t for receiver. (exec_exec): Use mach_port_send_t for FILE.
Diffstat (limited to 'hurd/exec.defs')
-rw-r--r--hurd/exec.defs17
1 files changed, 10 insertions, 7 deletions
diff --git a/hurd/exec.defs b/hurd/exec.defs
index bb11fc4e..64d04339 100644
--- a/hurd/exec.defs
+++ b/hurd/exec.defs
@@ -1,5 +1,5 @@
/* Interface definitions for the exec servers.
- Copyright (C) 1991, 1992, 1993, 1994 Free Software Foundation
+ Copyright (C) 1991, 1992, 1993, 1994, 1995 Free Software Foundation, Inc.
This file is part of the GNU Hurd.
@@ -23,9 +23,12 @@ subsystem exec 30000;
#include <hurd/hurd_types.defs>
-routine exec_exec ( /* Better name, Roland??
- No, it doesn't seem likely. */
- execserver: mach_port_t;
+#ifdef EXEC_IMPORTS
+EXEC_IMPORTS
+#endif
+
+routine exec_exec (
+ execserver: file_t;
file: mach_port_send_t;
oldtask: task_t;
flags: int;
@@ -40,7 +43,7 @@ routine exec_exec ( /* Better name, Roland??
/* This call is made by a new task to its bootstrap port to get its
startup ports and information. */
routine exec_startup (
- execserver: mach_port_t;
+ bootstrap: mach_port_t;
/* These are the base address and size of the initial stack
allocated by the exec server. The rest of the information
is that passed by exec_exec. */
@@ -56,11 +59,11 @@ routine exec_startup (
/* This call is made by the bootstrapping filesystem to give the
execserver its auth handle. */
routine exec_init (
- execserver: mach_port_t;
+ execserver: file_t;
auth_handle: auth_t;
proc_server: mach_port_send_t);
simpleroutine exec_setexecdata (
- execserver: mach_port_t;
+ execserver: file_t;
ports: portarray_t, servercopy;
ints: intarray_t, servercopy);