diff options
Diffstat (limited to 'ddb/db_mp.c')
| -rw-r--r-- | ddb/db_mp.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/ddb/db_mp.c b/ddb/db_mp.c index 3ab00ce..dc29413 100644 --- a/ddb/db_mp.c +++ b/ddb/db_mp.c @@ -38,6 +38,7 @@ #include <ddb/db_command.h> #include <ddb/db_run.h> +#include <ddb/db_mp.h> /* * Routines to interlock access to the kernel debugger on @@ -54,11 +55,6 @@ int db_slave[NCPUS] = { 0 }; /* nonzero if cpu interrupted int db_enter_debug = 0; -void remote_db(); /* forward */ -void lock_db(); -void unlock_db(); - - /* * Called when entering kernel debugger. * Takes db lock. If we were called remotely (slave state) we just |