diff options
Diffstat (limited to 'device/dev_pager.c')
| -rw-r--r-- | device/dev_pager.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index be2daa46..a4724a94 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -30,7 +30,6 @@ * Device pager. */ -#include <printf.h> #include <string.h> #include <mach/boolean.h> @@ -42,6 +41,8 @@ #include <ipc/ipc_port.h> #include <ipc/ipc_space.h> +#include <kern/debug.h> /* for panic() */ +#include <kern/printf.h> #include <kern/queue.h> #include <kern/zalloc.h> #include <kern/kalloc.h> |