From b3f6ddaf7702079bff51b5ccb4519ddde0a5aa0e Mon Sep 17 00:00:00 2001 From: Miles Bader Date: Wed, 6 Sep 1995 22:19:01 +0000 Subject: (diskfs_demuxer): Use ports_notify_server and ports_interrupt_server instead of our own versions. --- libdiskfs/demuxer.c | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'libdiskfs') 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)); } -- cgit v1.2.3