summaryrefslogtreecommitdiff
path: root/boot/boot.c
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-06-17 17:45:59 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-06-17 17:45:59 +0000
commitf2452d0ebf0faf1263401d1d439029b42570af4f (patch)
tree7b3e5d1907180105d8121e80b6aff3d55ff820f0 /boot/boot.c
parent7d599b5aad7ff2a06f97eecbb5982572a93a5876 (diff)
Formerly boot.c.~28~
Diffstat (limited to 'boot/boot.c')
-rw-r--r--boot/boot.c8
1 files changed, 4 insertions, 4 deletions
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));
}