--- Gnu-Mach/kern/ipc_kobject.h	2020/09/02 04:45:15	1.1.1.2
+++ Gnu-Mach/kern/ipc_kobject.h	2020/09/02 04:47:29	1.1.1.3
@@ -36,13 +36,12 @@
  *	Declarations for letting a port represent a kernel object.
  */
 
-#include <ipc/ipc_kmsg.h>
-#include <ipc/ipc_types.h>
-
 #ifndef	_KERN_IPC_KOBJECT_H_
 #define _KERN_IPC_KOBJECT_H_
 
 #include <mach/machine/vm_types.h>
+#include <ipc/ipc_types.h>
+#include <ipc/ipc_kmsg.h>
 
 typedef vm_offset_t ipc_kobject_t;