From e7f5f608745138ee84695b979d351f70f920a919 Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Fri, 9 Jun 1995 19:53:17 +0000 Subject: (diskfs_demuxer): Renamed from ports_demuxer. Don't call pager_demuxer. --- libdiskfs/demuxer.c | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/libdiskfs/demuxer.c b/libdiskfs/demuxer.c index 4e03d23b..e7820c8d 100644 --- a/libdiskfs/demuxer.c +++ b/libdiskfs/demuxer.c @@ -1,5 +1,5 @@ -/* Demultiplexer for ports library - Copyright (C) 1994 Free Software Foundation +/* Demultiplexer for diskfs library + Copyright (C) 1994, 1995 Free Software Foundation This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -18,20 +18,18 @@ #include "priv.h" int -ports_demuxer (mach_msg_header_t *inp, - mach_msg_header_t *outp) +diskfs_demuxer (mach_msg_header_t *inp, + mach_msg_header_t *outp) { 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 pager_demuxer (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) - || pager_demuxer (inp, outp) || diskfs_fs_server (inp, outp) || diskfs_seqnos_notify_server (inp, outp) || diskfs_fsys_server (inp, outp) -- cgit v1.2.3