diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-12-02 12:11:51 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:37:00 +0100 |
| commit | 7fb8d6150b57560a7e72f50b4913be11fed0fb97 (patch) | |
| tree | 26464e1ce3c054d09afaec8b4770449e97acd0c6 /pflocal/pflocal.c | |
| parent | 2634719587458febd3e307eecf1a99428279778f (diff) | |
pflocal: include the mig-generated server headers
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.
* pflocal/demuxer.c: Include the mig-generated server headers.
* pflocal/sserver.c: Likewise.
Diffstat (limited to 'pflocal/pflocal.c')
| -rw-r--r-- | pflocal/pflocal.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pflocal/pflocal.c b/pflocal/pflocal.c index d51f721e..fcb62d1d 100644 --- a/pflocal/pflocal.c +++ b/pflocal/pflocal.c @@ -46,13 +46,12 @@ int trivfs_protid_nportclasses = 1; int trivfs_cntl_nportclasses = 1; /* ---------------------------------------------------------------- */ +#include "socket_S.h" /* A demuxer to separate out pf-level operations on our node. */ static int pf_demuxer (mach_msg_header_t *inp, mach_msg_header_t *outp) { - mig_routine_t socket_server_routine (mach_msg_header_t *); - mig_routine_t routine; if ((routine = socket_server_routine (inp)) || (routine = NULL, trivfs_demuxer (inp, outp))) |