summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-03-22 02:11:00 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-03-22 02:11:00 +0000
commit795815501ab7c87cec2fe82a213e885227cda6cf (patch)
tree47cedcc4262041779748a5517ef7be0cdb3a3c5d
parenta69b726647384c5082b92e8af8a5f15c12f5c786 (diff)
Formerly startup.defs.~21~
-rw-r--r--hurd/startup.defs8
1 files changed, 4 insertions, 4 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs
index ff0d87df..bd7ae272 100644
--- a/hurd/startup.defs
+++ b/hurd/startup.defs
@@ -65,8 +65,8 @@ routine startup_procinit (
startup_proc: process_t;
out startup_task: task_t;
out auth: auth_t;
- out host_priv: mach_port_move_send_t;
- out device_master: mach_port_move_send_t);
+ out host_priv: mach_port_send_t;
+ out device_master: mach_port_send_t);
/* This call is made by the auth server for its initialization.
The auth server will create an all-root authentication handle
@@ -74,5 +74,5 @@ routine startup_procinit (
routine startup_authinit (
server: startup_t;
sreplyport reply_port: reply_port_t;
- auth: mach_port_make_send_t;
- out proc: mach_port_move_send_t);
+ auth: mach_port_send_t;
+ out proc: mach_port_send_t);