diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-07-22 19:10:28 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-07-22 19:10:28 +0000 |
| commit | 1d7521c63dbc70ca0af0d4711f6457b8198854e7 (patch) | |
| tree | c778e54174afd16d8a75474d53cb523ec303788d | |
| parent | 9c5cdb347079e9cb3bccbe041a0a2e834a87f80b (diff) | |
Formerly boot.c.~34~
| -rw-r--r-- | boot/boot.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/boot/boot.c b/boot/boot.c index 8996b5ed..831e2fd4 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -34,7 +34,7 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ #include "notify_S.h" #include "exec_S.h" -#include "device_S.h" +#include "ourdevice_S.h" #include "io_S.h" #include "device_reply_U.h" #include "io_reply_U.h" @@ -204,18 +204,18 @@ 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 S_io_server (mach_msg_header_t *, mach_msg_header_t *); + extern int 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_term_server (mach_msg_header_t *, mach_msg_header_t *); -/* extern int S_tioctl_server (mach_msg_header_t *, mach_msg_header_t *); */ + extern int term_server (mach_msg_header_t *, mach_msg_header_t *); +/* extern int tioctl_server (mach_msg_header_t *, mach_msg_header_t *); */ return (exec_server (inp, outp) - || S_io_server (inp, outp) + || io_server (inp, outp) || device_server (inp, outp) || notify_server (inp, outp) - || S_term_server (inp, outp) -/* || S_tioctl_server (inp, outp) */); + || term_server (inp, outp) +/* || tioctl_server (inp, outp) */); } vm_address_t |