diff options
Diffstat (limited to 'device/ds_routines.c')
| -rw-r--r-- | device/ds_routines.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index d1fbd4b5..9dccf2db 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -28,7 +28,7 @@ * Date: 3/89 */ -#include <printf.h> +#include <kern/printf.h> #include <string.h> #include <mach/boolean.h> @@ -44,6 +44,8 @@ #include <kern/ast.h> #include <kern/counters.h> +#include <kern/debug.h> /* for panic() */ +#include <kern/printf.h> #include <kern/queue.h> #include <kern/zalloc.h> #include <kern/thread.h> |