6 files changed, 23 insertions, 6 deletions
diff --git a/ipc/ipc_kmsg.c b/ipc/ipc_kmsg.c
index c2689a48..3ad274d0 100644
--- a/ipc/ipc_kmsg.c
+++ b/ipc/ipc_kmsg.c
@@ -66,6 +66,7 @@
 
 #if MACH_KDB
 #include <ddb/db_output.h>
+#include <ipc/ipc_print.h>
 #endif
 
 extern int copyinmap();
diff --git a/ipc/ipc_port.c b/ipc/ipc_port.c
index 8e41c3ca..b9607395 100644
--- a/ipc/ipc_port.c
+++ b/ipc/ipc_port.c
@@ -53,6 +53,7 @@
 
 #if	MACH_KDB
 #include <ddb/db_output.h>
+#include <ipc/ipc_print.h>
 #endif	/* MACH_KDB */
 
 
diff --git a/ipc/ipc_port.h b/ipc/ipc_port.h
index 70ec4946..27d2e496 100644
--- a/ipc/ipc_port.h
+++ b/ipc/ipc_port.h
@@ -325,7 +325,4 @@ ipc_port_dealloc_special(ipc_port_t, ipc_space_t);
 #define	ipc_port_release(port)		\
 		ipc_object_release(&(port)->ip_object)
 
-extern void
-ipc_port_print(ipc_port_t);
-
 #endif	/* _IPC_IPC_PORT_H_ */
diff --git a/ipc/ipc_print.h b/ipc/ipc_print.h
new file mode 100644
index 00000000..ef676a77
--- /dev/null
+++ b/ipc/ipc_print.h
@@ -0,0 +1,20 @@
+#ifndef _IPC_PRINT_H_
+#define	_IPC_PRINT_H_
+
+#if MACH_KDB
+
+#include <mach/mach_types.h>
+#include <mach/message.h>
+#include <ipc/ipc_types.h>
+
+extern void ipc_port_print(ipc_port_t);
+
+extern void ipc_pset_print(ipc_pset_t);
+
+extern void ipc_kmsg_print(ipc_kmsg_t);
+
+extern void ipc_msg_print(mach_msg_header_t*);
+
+#endif  /* MACH_KDB */
+
+#endif	/* IPC_PRINT_H */
diff --git a/ipc/ipc_pset.c b/ipc/ipc_pset.c
index e2b3c862..c016d276 100644
--- a/ipc/ipc_pset.c
+++ b/ipc/ipc_pset.c
@@ -48,6 +48,7 @@
 
 #if	MACH_KDB
 #include <ddb/db_output.h>
+#include <ipc/ipc_print.h>
 #endif	/* MACH_KDB */
 
 
diff --git a/ipc/ipc_pset.h b/ipc/ipc_pset.h
index ac984f99..e9936fef 100644
--- a/ipc/ipc_pset.h
+++ b/ipc/ipc_pset.h
@@ -89,7 +89,4 @@ ipc_pset_destroy(ipc_pset_t);
 #define	ipc_pset_release(pset)		\
 		ipc_object_release(&(pset)->ips_object)
 
-extern void
-ipc_pset_print(ipc_pset_t);
-
 #endif	/* _IPC_IPC_PSET_H_ */