diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-02 12:00:50 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:37:00 +0100 |
| commit | f6c5d005914efa40c4d7a84d3a95894f06a70d7a (patch) | |
| tree | ca16a354b3cbe1349f3a9e4f4ca49a47215e3f72 /libdiskfs/demuxer.c | |
| parent | 2845394f72e2733f96621a1f02f1b943e62c0964 (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.
Diffstat (limited to 'libdiskfs/demuxer.c')
| -rw-r--r-- | libdiskfs/demuxer.c | 18 |
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)) || |