summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2013-12-02 12:00:50 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-01-20 10:37:00 +0100
commitf6c5d005914efa40c4d7a84d3a95894f06a70d7a (patch)
treeca16a354b3cbe1349f3a9e4f4ca49a47215e3f72
parent2845394f72e2733f96621a1f02f1b943e62c0964 (diff)
libdiskfs: include the mig-generated server headers in demuxer.c
GNU MIG recently gained support for emitting x_server_routine declarations in the generated server header file. Using this declaration, the x_server_routine functions can be inlined into the demuxer function. * libdiskfs/demuxer.c: Include the mig-generated server headers.
-rw-r--r--libdiskfs/demuxer.c18
1 files changed, 9 insertions, 9 deletions
diff --git a/libdiskfs/demuxer.c b/libdiskfs/demuxer.c
index 5412f26c..4a1c4fb4 100644
--- a/libdiskfs/demuxer.c
+++ b/libdiskfs/demuxer.c
@@ -17,19 +17,19 @@
#include "priv.h"
+#include "io_S.h"
+#include "fs_S.h"
+#include "../libports/notify_S.h"
+#include "fsys_S.h"
+#include "../libports/interrupt_S.h"
+#include "ifsock_S.h"
+#include "startup_notify_S.h"
+#include "exec_startup_S.h"
+
int
diskfs_demuxer (mach_msg_header_t *inp,
mach_msg_header_t *outp)
{
- mig_routine_t diskfs_io_server_routine (mach_msg_header_t *);
- mig_routine_t diskfs_fs_server_routine (mach_msg_header_t *);
- mig_routine_t ports_notify_server_routine (mach_msg_header_t *);
- mig_routine_t diskfs_fsys_server_routine (mach_msg_header_t *);
- mig_routine_t ports_interrupt_server_routine (mach_msg_header_t *);
- mig_routine_t diskfs_ifsock_server_routine (mach_msg_header_t *);
- mig_routine_t diskfs_exec_startup_server_routine (mach_msg_header_t *);
- mig_routine_t diskfs_startup_notify_server_routine (mach_msg_header_t *);
-
mig_routine_t routine;
if ((routine = diskfs_io_server_routine (inp)) ||
(routine = diskfs_fs_server_routine (inp)) ||