diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 14:40:39 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 14:45:28 +0200 |
| commit | b6dab094d2b6531fdc867af906dd006e39cac2d9 (patch) | |
| tree | ac78c8c6592062b2a0b9d15be0dab46a75e71a99 /i386 | |
| parent | 32b5d3ceb7a120b76f10f69afb6acbf453a76bbc (diff) | |
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.
Diffstat (limited to 'i386')
| -rw-r--r-- | i386/i386/machine_routines.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/i386/i386/machine_routines.h b/i386/i386/machine_routines.h index d77849a6..65315e5f 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_ */ |