summaryrefslogtreecommitdiff
path: root/libtrivfs/demuxer.c
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-02-18 21:21:57 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-02-18 21:21:57 +0000
commit852c90c1f85832213b9aa59725e06c12e9c7e5f9 (patch)
treec740543fb64fa931e6cd446e8abbe97f97130704 /libtrivfs/demuxer.c
parent8c4ecb5b464c30fcd38568c0c8899f60d3119f9a (diff)
Initial revision
Diffstat (limited to 'libtrivfs/demuxer.c')
-rw-r--r--libtrivfs/demuxer.c41
1 files changed, 41 insertions, 0 deletions
diff --git a/libtrivfs/demuxer.c b/libtrivfs/demuxer.c
new file mode 100644
index 00000000..676f78a6
--- /dev/null
+++ b/libtrivfs/demuxer.c
@@ -0,0 +1,41 @@
+/*
+ Copyright (C) 1993, 1994 Free Software Foundation
+
+This file is part of the GNU Hurd.
+
+The GNU Hurd is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 2, or (at your option)
+any later version.
+
+The GNU Hurd is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with the GNU Hurd; see the file COPYING. If not, write to
+the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
+
+/* Written by Michael I. Bushnell. */
+
+#include "priv.h"
+
+int
+ports_demuxer (mach_msg_header_t *inp,
+ mach_msg_header_t *outp)
+{
+ int fs_server (mach_msg_header_t *, mach_msg_header_t *);
+ int io_server (mach_msg_header_t *, mach_msg_header_t *);
+ int fsys_server (mach_msg_header_t *, mach_msg_header_t *);
+ int notify_server (mach_msg_header_t *, mach_msg_header_t *);
+ int interrupt_server (mach_msg_header_t *, mach_msg_header_t *);
+
+ return (io_server (inp, outp)
+ || fs_server (inp, outp)
+ || notify_server (inp, outp)
+ || fsys_server (inp, outp)
+ || interrupt_server (inp, outp));
+}
+
+