summaryrefslogtreecommitdiff
path: root/proc
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2013-12-02 12:11:04 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-01-20 10:37:00 +0100
commitec5086e248d9c75bea7399a3e501ee48b14c047c (patch)
treefa5b57d3d68e367c91c616af38bc8a57ece4f42e /proc
parent749dd44d30c86568b2ec7340ced6d849c0dc3a5e (diff)
proc: 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. * proc/main.c: Include the mig-generated server headers.
Diffstat (limited to 'proc')
-rw-r--r--proc/main.c10
1 files changed, 5 insertions, 5 deletions
diff --git a/proc/main.c b/proc/main.c
index 5d6dc212..73742edd 100644
--- a/proc/main.c
+++ b/proc/main.c
@@ -34,15 +34,15 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
const char *argp_program_version = STANDARD_HURD_VERSION (proc);
+#include "process_S.h"
+#include "notify_S.h"
+#include "../libports/interrupt_S.h"
+#include "proc_exc_S.h"
+
int
message_demuxer (mach_msg_header_t *inp,
mach_msg_header_t *outp)
{
- mig_routine_t process_server_routine (mach_msg_header_t *);
- mig_routine_t notify_server_routine (mach_msg_header_t *);
- mig_routine_t ports_interrupt_server_routine (mach_msg_header_t *);
- mig_routine_t proc_exc_server_routine (mach_msg_header_t *);
-
mig_routine_t routine;
if ((routine = process_server_routine (inp)) ||
(routine = notify_server_routine (inp)) ||