diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
| commit | a2952398e5de8746a761a59686619d08d376bce3 (patch) | |
| tree | df2373bb1119468873c667624769455c36dc3786 /device/device_init.c | |
| parent | ba1b3afd50913473f3036a63b4a82d7ba5c42009 (diff) | |
| parent | 92e98a7f4d4fa75b286a067e1d1caef514fccb0d (diff) | |
Merge branch 'master' into master-gdb_stubs
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) |