diff options
Diffstat (limited to 'ddb/db_command.c')
| -rw-r--r-- | ddb/db_command.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ddb/db_command.c b/ddb/db_command.c index b6927e6..56bde0d 100644 --- a/ddb/db_command.c +++ b/ddb/db_command.c @@ -44,6 +44,7 @@ #include <ddb/db_task_thread.h> #include <machine/setjmp.h> +#include <kern/debug.h> /* for panic() */ #include <kern/thread.h> #include <ipc/ipc_pset.h> /* 4proto */ #include <ipc/ipc_port.h> /* 4proto */ |