1 files changed, 5 insertions, 0 deletions
diff --git a/ipc/ipc_object.c b/ipc/ipc_object.c
index 4850fb10..b8cae8f5 100644
--- a/ipc/ipc_object.c
+++ b/ipc/ipc_object.c
@@ -49,6 +49,11 @@
 #include <kern/printf.h>
 #include <kern/slab.h>
 
+#if	MACH_KDB
+#include <ddb/db_output.h>
+#endif	/* MACH_KDB */
+
+
 struct kmem_cache ipc_object_caches[IOT_NUMBER];