--- Gnu-Mach/device/kmsg.h	2020/09/02 04:41:25	1.1.1.1
+++ Gnu-Mach/device/kmsg.h	2020/09/02 04:45:32	1.1.1.2
@@ -1,7 +1,11 @@
 #ifndef _DEVICE_KMSG_H_
 #define _DEVICE_KMSG_H_	1
 
-#ifdef MACH_KERNEL
+
+#include <sys/types.h>
+
+#include <device/device_types.h>
+#include <device/io_req.h>
 
 io_return_t kmsgopen (dev_t dev, int flag, io_req_t ior);
 io_return_t kmsgclose (dev_t dev, int flag);
@@ -10,6 +14,5 @@ io_return_t kmsggetstat (dev_t dev, int
 			 int *data, unsigned int *count);
 void kmsg_putchar (int c);
 
-#endif /* MACH_KERNEL */
 
 #endif /* !_DEVICE_KMSG_H_ */