diff options
Diffstat (limited to 'kern/ipc_mig.c')
| -rw-r--r-- | kern/ipc_mig.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c index 3bf2c77d..3f55da7c 100644 --- a/kern/ipc_mig.c +++ b/kern/ipc_mig.c @@ -32,9 +32,11 @@ #include <kern/ast.h> #include <kern/debug.h> #include <kern/ipc_tt.h> +#include <kern/syscall_subr.h> #include <kern/thread.h> #include <kern/task.h> #include <kern/ipc_kobject.h> +#include <kern/ipc_tt.h> #include <vm/vm_map.h> #include <vm/vm_user.h> #include <ipc/port.h> @@ -49,7 +51,7 @@ #include <ipc/mach_port.h> #include <device/dev_hdr.h> #include <device/device_types.h> - +#include <device/ds_routines.h> /* * Routine: mach_msg_send_from_kernel |