summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2013-12-02 12:11:32 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-01-20 10:37:00 +0100
commit2634719587458febd3e307eecf1a99428279778f (patch)
tree75ed858284f32fdb6f0e496d57a3a01bb096e2d8
parentec5086e248d9c75bea7399a3e501ee48b14c047c (diff)
pfinet: include the mig-generated server headers in main.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. * pfinet/main.c: Include the mig-generated server headers.
-rw-r--r--pfinet/main.c11
1 files changed, 6 insertions, 5 deletions
diff --git a/pfinet/main.c b/pfinet/main.c
index dce16005..a596e18b 100644
--- a/pfinet/main.c
+++ b/pfinet/main.c
@@ -72,16 +72,17 @@ const char *argp_program_version = STANDARD_HURD_VERSION (pfinet);
/* Option parser. */
extern struct argp pfinet_argp;
+#include "io_S.h"
+#include "socket_S.h"
+#include "pfinet_S.h"
+#include "iioctl_S.h"
+#include "startup_notify_S.h"
+
int
pfinet_demuxer (mach_msg_header_t *inp,
mach_msg_header_t *outp)
{
struct port_info *pi;
- mig_routine_t io_server_routine (mach_msg_header_t *);
- mig_routine_t socket_server_routine (mach_msg_header_t *);
- mig_routine_t pfinet_server_routine (mach_msg_header_t *);
- mig_routine_t iioctl_server_routine (mach_msg_header_t *);
- mig_routine_t startup_notify_server_routine (mach_msg_header_t *);
/* We have several classes in one bucket, which need to be demuxed
differently. */