--- Gnu-Mach/ipc/ipc_entry.c	2020/09/02 04:36:56	1.1
+++ Gnu-Mach/ipc/ipc_entry.c	2020/09/02 04:37:05	1.1.1.2
@@ -831,6 +831,8 @@ ipc_entry_grow_table(space)
 
 #if	MACH_KDB
 #include <ddb/db_output.h>
+#include <kern/task.h>
+
 #define	printf	kdbprintf
 
 ipc_entry_t	db_ipc_object_by_name(