diff options
| author | Roland McGrath <roland@gnu.org> | 1994-06-28 22:48:00 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1994-06-28 22:48:00 +0000 |
| commit | 6f505c2d3083c324daa890c7db5969b01ffa48ae (patch) | |
| tree | 64d33cf87665ec8a5e3f16020d0de0f96be3f746 | |
| parent | 7d899c7a924dba4041a492d78c2e5bfb78b777b7 (diff) | |
Formerly startup.defs.~25~
| -rw-r--r-- | hurd/startup.defs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index f2c2ce56..fb43085d 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -27,8 +27,6 @@ subsystem startup 29000; STARTUP_IMPORTS #endif -type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE | polymorphic - ctype: mach_port_t; /* This call registers a task as "essential", which means that if it dies, the system should crash. If the specified task dies or an @@ -62,7 +60,7 @@ routine startup_reboot ( bootstrap port. */ routine startup_procinit ( server: startup_t; - sreplyport reply_port: reply_port_t; + sreplyport reply_port: sreply_port_t; startup_proc: process_t; out startup_task: task_t; out auth: auth_t; @@ -74,7 +72,7 @@ routine startup_procinit ( to give to the startup server. */ routine startup_authinit ( server: startup_t; - sreplyport reply_port: reply_port_t; + sreplyport reply_port: sreply_port_t; auth: mach_port_send_t; out proc: mach_port_send_t); |