--- Gnu-Mach/device/device_init.c	2020/09/02 04:45:31	1.1.1.2
+++ Gnu-Mach/device/device_init.c	2020/09/02 04:47:52	1.1.1.3
@@ -38,20 +38,15 @@
 #include <device/device_types.h>
 #include <device/device_port.h>
 #include <device/tty.h>
+#include <device/ds_routines.h>
+#include <device/net_io.h>
+#include <device/chario.h>
 
 
-extern void	mach_device_init();
-extern void	dev_lookup_init();
-extern void	net_io_init();
-extern void	device_pager_init();
-
-extern void	io_done_thread();
-extern void	net_thread();
-
 ipc_port_t	master_device_port;
 
 void
-device_service_create()
+device_service_create(void)
 {
 	master_device_port = ipc_port_alloc_kernel();
 	if (master_device_port == IP_NULL)