--- Gnu-Mach/device/kmsg.h	2020/09/02 04:41:25	1.1
+++ Gnu-Mach/device/kmsg.h	2020/09/02 04:47:53	1.1.1.3
@@ -1,15 +1,18 @@
 #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);
+void kmsgclose (dev_t dev, int flag);
 io_return_t kmsgread (dev_t dev, io_req_t ior);
 io_return_t kmsggetstat (dev_t dev, int flavor,
 			 int *data, unsigned int *count);
 void kmsg_putchar (int c);
 
-#endif /* MACH_KERNEL */
 
 #endif /* !_DEVICE_KMSG_H_ */