diff options
| author | Roland McGrath <roland@gnu.org> | 1994-06-14 05:28:30 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1994-06-14 05:28:30 +0000 |
| commit | 2936af972ca95dc27617f74e8fe67dcc58affc87 (patch) | |
| tree | 512136b99cfc084498350399eae9ba27943323bb | |
| parent | 1cd553dbfbd68fe4a955ead8f238dfef0a6bc69d (diff) | |
Formerly boot.c.~27~
| -rw-r--r-- | boot/boot.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/boot/boot.c b/boot/boot.c index 7d549e87..2ccb8001 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 exec_server (mach_msg_header_t *, mach_msg_header_t *); - extern int io_server (mach_msg_header_t *, mach_msg_header_t *); + extern int S_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 notify_server (mach_msg_header_t *, mach_msg_header_t *); + extern int S_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 (exec_server (inp, outp) - || io_server (inp, outp) + return (S_exec_server (inp, outp) + || S_io_server (inp, outp) || device_server (inp, outp) - || notify_server (inp, outp) + || S_notify_server (inp, outp) || S_term_server (inp, outp) || S_tioctl_server (inp, outp)); } |