diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-02 12:11:32 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:37:00 +0100 |
| commit | 2634719587458febd3e307eecf1a99428279778f (patch) | |
| tree | 75ed858284f32fdb6f0e496d57a3a01bb096e2d8 | |
| parent | ec5086e248d9c75bea7399a3e501ee48b14c047c (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.c | 11 |
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. */ |