diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:51:24 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:51:24 +0000 |
| commit | 60aebc02179a2a0ddc0efe329170cbb8118aac83 (patch) | |
| tree | d86b1fcea86172a64bdfadb40402c4a5918015db | |
| parent | caaaf67962024a4bafd3c6ac0fe57318121ec6a4 (diff) | |
(startup_request_notification): NOTIFY_PORT now mach_port_send_t.
| -rw-r--r-- | hurd/startup.defs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index 7b9eb442..392b095b 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -1,5 +1,5 @@ /* Definitions for startup server interface - Copyright (C) 1991, 1992, 1993, 1994 Free Software Foundation + Copyright (C) 1991, 1992, 1993, 1994, 1996 Free Software Foundation This file is part of the GNU Hurd. @@ -46,7 +46,7 @@ routine startup_essential_task ( sent to the notify port. */ routine startup_request_notification ( server: startup_t; - notify_port: mach_port_t); + notify_port: mach_port_send_t); /* This call causes the system to die. */ routine startup_reboot ( |