2 files changed, 5 insertions, 0 deletions
diff --git a/ddb/db_mp.c b/ddb/db_mp.c
index 8d1a5605..7c0f6f26 100644
--- a/ddb/db_mp.c
+++ b/ddb/db_mp.c
@@ -35,10 +35,12 @@
 #include <kern/lock.h>
 
 #include <machine/db_machdep.h>
+#include <machine/db_interface.h>
 
 #include <ddb/db_command.h>
 #include <ddb/db_run.h>
 #include <ddb/db_mp.h>
+#include <ddb/db_output.h>
 
 /*
  * Routines to interlock access to the kernel debugger on
diff --git a/ddb/db_mp.h b/ddb/db_mp.h
index 722f28c7..b0d221ea 100644
--- a/ddb/db_mp.h
+++ b/ddb/db_mp.h
@@ -27,4 +27,7 @@ void	unlock_db(void);
 void db_console(void);
 #endif /* CONSOLE_ON_MASTER */
 
+boolean_t db_enter(void);
+void db_leave(void);
+
 #endif /* _DDB_DB_MP_H_ */