diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-02-04 12:51:02 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-02-04 12:51:02 +0100 |
| commit | 4507e14b35a496b913ff35e72ad9ae348e69cf38 (patch) | |
| tree | 0f9fff258d9434e641f1715f99a054f7ac5bf99b /kern/ipc_kobject.c | |
| parent | a693305ea05c405fe05b09061eee1fafc08d9e30 (diff) | |
| parent | 7353f589daccb7fb61880d6994f6471e103da902 (diff) | |
| download | gnumach-4507e14b35a496b913ff35e72ad9ae348e69cf38.tar.gz gnumach-4507e14b35a496b913ff35e72ad9ae348e69cf38.tar.bz2 gnumach-4507e14b35a496b913ff35e72ad9ae348e69cf38.zip | |
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/gnumach
Diffstat (limited to 'kern/ipc_kobject.c')
| -rw-r--r-- | kern/ipc_kobject.c | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c index 37d4eb99..13af8202 100644 --- a/kern/ipc_kobject.c +++ b/kern/ipc_kobject.c @@ -49,6 +49,18 @@ #include <vm/memory_object_proxy.h> #include <device/ds_routines.h> +#include <kern/mach.server.h> +#include <ipc/mach_port.server.h> +#include <kern/mach_host.server.h> +#include <device/device.server.h> +#include <device/device_pager.server.h> +#include <kern/mach4.server.h> +#include <kern/gnumach.server.h> + +#if MACH_DEBUG +#include <kern/mach_debug.server.h> +#endif + #if MACH_MACHINE_ROUTINES #include <machine/machine_routines.h> #endif @@ -146,17 +158,6 @@ ipc_kobject_server(request) * to perform the kernel function */ { - extern mig_routine_t mach_server_routine(), - mach_port_server_routine(), - mach_host_server_routine(), - device_server_routine(), - device_pager_server_routine(), - mach4_server_routine(), - gnumach_server_routine(); -#if MACH_DEBUG - extern mig_routine_t mach_debug_server_routine(); -#endif - #if MACH_MACHINE_ROUTINES extern mig_routine_t MACHINE_SERVER_ROUTINE(); #endif |