--- Gnu-Mach/ipc/ipc_pset.c	2020/09/02 04:42:32	1.1.1.2
+++ Gnu-Mach/ipc/ipc_pset.c	2020/09/02 04:47:15	1.1.1.4
@@ -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
@@ -330,10 +334,8 @@ ipc_pset_destroy(
 
 void
 ipc_pset_print(
-	ipc_pset_t	pset)
+	const ipc_pset_t pset)
 {
-	extern int indent;
-
 	printf("pset 0x%x\n", pset);
 
 	indent += 2;
@@ -343,7 +345,7 @@ ipc_pset_print(
 	iprintf("kmsgs = 0x%x", pset->ips_messages.imq_messages.ikmq_base);
 	printf(",rcvrs = 0x%x\n", pset->ips_messages.imq_threads.ithq_base);
 
-	indent -=2;
+	indent -= 2;
 }
 
 #endif	/* MACH_KDB */