From 60aebc02179a2a0ddc0efe329170cbb8118aac83 Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Mon, 6 May 1996 17:51:24 +0000 Subject: (startup_request_notification): NOTIFY_PORT now mach_port_send_t. --- hurd/startup.defs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'hurd') 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 ( -- cgit v1.2.3