summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2020-07-10 00:00:25 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2020-07-10 00:00:54 +0200
commit56789382c02db453f0cf31932be4ba7e338d563f (patch)
tree8e6d1ebf72c5b34e980fa61348b9cac46650cf1a
parent297950e5dad7b18d27bb6ab53d676524a744c979 (diff)
parentdeea22743bf2f16dd14f812485db6bdb40887877 (diff)
Merge branch 'master-user_level_drivers2' into master-user_level_drivers2-debian
-rw-r--r--kern/ipc_kobject.c1
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