summaryrefslogtreecommitdiff
path: root/pfinet
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-01-28 23:43:09 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-01-28 23:43:09 +0100
commite24381784b0a56896542d1a5828a77ad0e1c40ec (patch)
tree493e0d6ad811f563142c5de72a8b80bb5d142b93 /pfinet
parent613f84a0fcd46f2143b046b57c6c6444eafa4d4d (diff)
parentb8c728ec51696c5d17ef09a00b3b193b70a487da (diff)
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/hurd
Diffstat (limited to 'pfinet')
-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. */