From 2634719587458febd3e307eecf1a99428279778f Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Mon, 2 Dec 2013 12:11:32 +0100 Subject: 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. --- pfinet/main.c | 11 ++++++----- 1 file 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. */ -- cgit v1.2.3