diff options
Diffstat (limited to 'device/device_init.c')
| -rw-r--r-- | device/device_init.c | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/device/device_init.c b/device/device_init.c index e43a2a95..794186ee 100644 --- a/device/device_init.c +++ b/device/device_init.c @@ -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) |