diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-10 00:00:25 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-10 00:00:54 +0200 |
commit | 56789382c02db453f0cf31932be4ba7e338d563f (patch) | |
tree | 8e6d1ebf72c5b34e980fa61348b9cac46650cf1a | |
parent | 297950e5dad7b18d27bb6ab53d676524a744c979 (diff) | |
parent | deea22743bf2f16dd14f812485db6bdb40887877 (diff) |
Merge branch 'master-user_level_drivers2' into master-user_level_drivers2-debian
-rw-r--r-- | kern/ipc_kobject.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c index c65458ba..5ced4037 100644 --- a/kern/ipc_kobject.c +++ b/kern/ipc_kobject.c @@ -160,7 +160,6 @@ ipc_kobject_server(request) * to perform the kernel function */ { - extern mig_routine_t experimental_server_routine(); check_simple_locks(); if ((routine = mach_server_routine(&request->ikm_header)) != 0 || (routine = mach_port_server_routine(&request->ikm_header)) != 0 |