diff options
| -rw-r--r-- | i386/i386/machine_routines.h | 1 | ||||
| -rw-r--r-- | kern/ipc_kobject.c | 5 |
2 files changed, 2 insertions, 4 deletions
diff --git a/i386/i386/machine_routines.h b/i386/i386/machine_routines.h index d77849a..65315e5 100644 --- a/i386/i386/machine_routines.h +++ b/i386/i386/machine_routines.h @@ -31,6 +31,7 @@ * The i386 has a set of machine-dependent interfaces. */ #define MACHINE_SERVER mach_i386_server +#define MACHINE_SERVER_HEADER <machine/mach_i386.server.h> #define MACHINE_SERVER_ROUTINE mach_i386_server_routine #endif /* _I386_MACHINE_ROUTINES_H_ */ 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 <machine/machine_routines.h> +#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 |