diff options
| author | Miles Bader <miles@gnu.org> | 1995-09-06 22:20:24 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-09-06 22:20:24 +0000 |
| commit | 1257983b6e6e6636ee981fed7d165778d92ba7a5 (patch) | |
| tree | 53e99fd8ea58859a10e0323ef53e598b5686654b | |
| parent | f7f2df29df66e4ebbf316a41c47f4d55ecc40966 (diff) | |
(trivfs_demuxer): Use ports_notify_server and ports_interrupt_server instead
of our own versions.
| -rw-r--r-- | libtrivfs/demuxer.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/libtrivfs/demuxer.c b/libtrivfs/demuxer.c index f30e057b..27777468 100644 --- a/libtrivfs/demuxer.c +++ b/libtrivfs/demuxer.c @@ -28,14 +28,12 @@ trivfs_demuxer (mach_msg_header_t *inp, int trivfs_fs_server (mach_msg_header_t *, mach_msg_header_t *); int trivfs_io_server (mach_msg_header_t *, mach_msg_header_t *); int trivfs_fsys_server (mach_msg_header_t *, mach_msg_header_t *); - int trivfs_notify_server (mach_msg_header_t *, mach_msg_header_t *); - int trivfs_interrupt_server (mach_msg_header_t *, mach_msg_header_t *); return (trivfs_io_server (inp, outp) || trivfs_fs_server (inp, outp) - || trivfs_notify_server (inp, outp) + || ports_notify_server (inp, outp) || trivfs_fsys_server (inp, outp) - || trivfs_interrupt_server (inp, outp)); + || ports_interrupt_server (inp, outp)); } |