6 files changed, 6 insertions, 0 deletions
diff --git a/kern/bootstrap.c b/kern/bootstrap.c
index 2c63df4..68f40b4 100644
--- a/kern/bootstrap.c
+++ b/kern/bootstrap.c
@@ -42,6 +42,7 @@
 #include <kern/debug.h>
 #include <kern/host.h>
 #include <kern/printf.h>
+#include <kern/kalloc.h>
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/lock.h>
diff --git a/kern/ipc_tt.c b/kern/ipc_tt.c
index de4edc6..6d32e5b 100644
--- a/kern/ipc_tt.c
+++ b/kern/ipc_tt.c
@@ -36,6 +36,7 @@
 #include <mach/thread_special_ports.h>
 #include <vm/vm_kern.h>
 #include <kern/debug.h>
+#include <kern/kalloc.h>
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/ipc_kobject.h>
diff --git a/kern/pc_sample.c b/kern/pc_sample.c
index c82707b..2cec907 100644
--- a/kern/pc_sample.c
+++ b/kern/pc_sample.c
@@ -31,6 +31,7 @@
 #include <mach/std_types.h>	/* pointer_t */
 #include <mach/pc_sample.h>
 #include <machine/trap.h>
+#include <kern/kalloc.h>
 #include <kern/host.h>
 #include <kern/thread.h>
 #include <kern/pc_sample.h>
diff --git a/kern/processor.c b/kern/processor.c
index 3ece341..1986860 100644
--- a/kern/processor.c
+++ b/kern/processor.c
@@ -35,6 +35,7 @@
 #include <mach/vm_param.h>
 #include <kern/cpu_number.h>
 #include <kern/debug.h>
+#include <kern/kalloc.h>
 #include <kern/lock.h>
 #include <kern/host.h>
 #include <kern/ipc_tt.h>
diff --git a/kern/server_loop.ch b/kern/server_loop.ch
index 1aa7edb..409e013 100644
--- a/kern/server_loop.ch
+++ b/kern/server_loop.ch
@@ -39,6 +39,7 @@
  */
 
 #include <kern/debug.h>
+#include <kern/kalloc.h>
 #include <mach/port.h>
 #include <mach/message.h>
 #include <vm/vm_kern.h>		/* for kernel_map */
diff --git a/kern/thread.c b/kern/thread.c
index f23af58..0a59f07 100644
--- a/kern/thread.c
+++ b/kern/thread.c
@@ -54,6 +54,7 @@
 #include <kern/thread.h>
 #include <kern/thread_swap.h>
 #include <kern/host.h>
+#include <kern/kalloc.h>
 #include <kern/slab.h>
 #include <kern/mach_clock.h>
 #include <vm/vm_kern.h>