1 files changed, 1 insertions, 2 deletions
diff --git a/kern/xpr.c b/kern/xpr.c
index b482a12..92b253c 100644
--- a/kern/xpr.c
+++ b/kern/xpr.c
@@ -132,9 +132,8 @@ void xprinit(void)
 
 #if	MACH_KDB
 #include <machine/setjmp.h>
+#include <ddb/db_output.h>
 
-
-extern void db_printf();
 extern jmp_buf_t *db_recover;
 
 /*