diff options
Diffstat (limited to 'kern/server_loop.ch')
| -rw-r--r-- | kern/server_loop.ch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/server_loop.ch b/kern/server_loop.ch index 5a0c69c..7b7b1a5 100644 --- a/kern/server_loop.ch +++ b/kern/server_loop.ch @@ -38,6 +38,7 @@ * Must redefine symbols for pager_server functions. */ +#include <kern/debug.h> /* for panic() */ #include <mach/port.h> #include <mach/message.h> #include <vm/vm_kern.h> /* for kernel_map */ |