--- Gnu-Mach/ipc/ipc_pset.c	2020/09/02 04:36:56	1.1.1.1
+++ Gnu-Mach/ipc/ipc_pset.c	2020/09/02 04:45:02	1.1.1.3
@@ -36,6 +36,7 @@
  *	Functions to manipulate IPC port sets.
  */
 
+#include <kern/printf.h>
 #include <mach/port.h>
 #include <mach/kern_return.h>
 #include <mach/message.h>
@@ -45,6 +46,11 @@
 #include <ipc/ipc_right.h>
 #include <ipc/ipc_space.h>
 
+#if	MACH_KDB
+#include <ddb/db_output.h>
+#include <ipc/ipc_print.h>
+#endif	/* MACH_KDB */
+
 
 /*
  *	Routine:	ipc_pset_alloc
@@ -316,8 +322,6 @@ ipc_pset_destroy(
 	ips_check_unlock(pset);
 }
 
-#include <mach_kdb.h>
-
 
 #if	MACH_KDB
 #define	printf	kdbprintf
@@ -332,8 +336,6 @@ void
 ipc_pset_print(
 	ipc_pset_t	pset)
 {
-	extern int indent;
-
 	printf("pset 0x%x\n", pset);
 
 	indent += 2;
@@ -346,4 +348,4 @@ ipc_pset_print(
 	indent -=2;
 }
 
-#endif	MACH_KDB
+#endif	/* MACH_KDB */