From f6c5d005914efa40c4d7a84d3a95894f06a70d7a Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Mon, 2 Dec 2013 12:00:50 +0100
Subject: 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.
---
 libdiskfs/demuxer.c | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'libdiskfs')

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)) ||
-- 
cgit v1.2.3