From f2452d0ebf0faf1263401d1d439029b42570af4f Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Fri, 17 Jun 1994 17:45:59 +0000 Subject: Formerly boot.c.~28~ --- boot/boot.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'boot') diff --git a/boot/boot.c b/boot/boot.c index 2ccb8001..ee921450 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -203,17 +203,17 @@ int request_server (mach_msg_header_t *inp, mach_msg_header_t *outp) { - extern int S_exec_server (mach_msg_header_t *, mach_msg_header_t *); + extern int exec_server (mach_msg_header_t *, mach_msg_header_t *); extern int S_io_server (mach_msg_header_t *, mach_msg_header_t *); extern int device_server (mach_msg_header_t *, mach_msg_header_t *); - extern int S_notify_server (mach_msg_header_t *, mach_msg_header_t *); + extern int notify_server (mach_msg_header_t *, mach_msg_header_t *); extern int S_term_server (mach_msg_header_t *, mach_msg_header_t *); extern int S_tioctl_server (mach_msg_header_t *, mach_msg_header_t *); - return (S_exec_server (inp, outp) + return (exec_server (inp, outp) || S_io_server (inp, outp) || device_server (inp, outp) - || S_notify_server (inp, outp) + || notify_server (inp, outp) || S_term_server (inp, outp) || S_tioctl_server (inp, outp)); } -- cgit v1.2.3