diff options
| author | Miles Bader <miles@gnu.org> | 1995-09-06 22:19:01 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-09-06 22:19:01 +0000 |
| commit | b3f6ddaf7702079bff51b5ccb4519ddde0a5aa0e (patch) | |
| tree | 4a7fbca930d614e5bb964ba75cd9368159c9b892 | |
| parent | 0a06fa59473adfb5c45ee56bec0303652440aeaa (diff) | |
(diskfs_demuxer): Use ports_notify_server and ports_interrupt_server instead
of our own versions.
| -rw-r--r-- | libdiskfs/demuxer.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/libdiskfs/demuxer.c b/libdiskfs/demuxer.c index e7820c8d..fd9d6728 100644 --- a/libdiskfs/demuxer.c +++ b/libdiskfs/demuxer.c @@ -1,5 +1,5 @@ /* Demultiplexer for diskfs library - Copyright (C) 1994, 1995 Free Software Foundation + Copyright (C) 1994, 1995 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -24,17 +24,15 @@ diskfs_demuxer (mach_msg_header_t *inp, int diskfs_fs_server (mach_msg_header_t *, mach_msg_header_t *); int diskfs_io_server (mach_msg_header_t *, mach_msg_header_t *); int diskfs_fsys_server (mach_msg_header_t *, mach_msg_header_t *); - int diskfs_seqnos_notify_server (mach_msg_header_t *, mach_msg_header_t *); int diskfs_exec_server (mach_msg_header_t *, mach_msg_header_t *); - int diskfs_interrupt_server (mach_msg_header_t *, mach_msg_header_t *); int diskfs_ifsock_server (mach_msg_header_t *, mach_msg_header_t *); return (diskfs_io_server (inp, outp) || diskfs_fs_server (inp, outp) - || diskfs_seqnos_notify_server (inp, outp) + || ports_notify_server (inp, outp) || diskfs_fsys_server (inp, outp) || diskfs_exec_server (inp, outp) - || diskfs_interrupt_server (inp, outp) + || ports_interrupt_server (inp, outp) || (diskfs_shortcut_ifsock ? diskfs_ifsock_server (inp, outp) : 0)); } |