From b6dab094d2b6531fdc867af906dd006e39cac2d9 Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Wed, 30 Apr 2014 14:40:39 +0200 Subject: kern: include the MIG-generated server headers for MACHINE_SERVER 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 ipc_kobject_server function. * kern/ipc_kobject.c: Include the MIG-generated server headers for the machine-dependent interfaces. (ipc_kobject_server): Drop the simple declaration of MACHINE_SERVER_ROUTINE. * i386/i386/machine_routines.h (MACHINE_SERVER_HEADER): New definition. --- kern/ipc_kobject.c | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'kern/ipc_kobject.c') diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c index 13af820..bf22028 100644 --- a/kern/ipc_kobject.c +++ b/kern/ipc_kobject.c @@ -63,6 +63,7 @@ #if MACH_MACHINE_ROUTINES #include +#include MACHINE_SERVER_HEADER #endif @@ -158,10 +159,6 @@ ipc_kobject_server(request) * to perform the kernel function */ { -#if MACH_MACHINE_ROUTINES - extern mig_routine_t MACHINE_SERVER_ROUTINE(); -#endif - check_simple_locks(); if ((routine = mach_server_routine(&request->ikm_header)) != 0 || (routine = mach_port_server_routine(&request->ikm_header)) != 0 -- cgit v1.2.3