diff options
Diffstat (limited to 'firmware/kernel/include/kernel.h')
-rw-r--r-- | firmware/kernel/include/kernel.h | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/firmware/kernel/include/kernel.h b/firmware/kernel/include/kernel.h index d2ffffcda9..fc6dfca8c3 100644 --- a/firmware/kernel/include/kernel.h +++ b/firmware/kernel/include/kernel.h | |||
@@ -48,23 +48,4 @@ | |||
48 | #define TIMEOUT_BLOCK -1 | 48 | #define TIMEOUT_BLOCK -1 |
49 | #define TIMEOUT_NOBLOCK 0 | 49 | #define TIMEOUT_NOBLOCK 0 |
50 | 50 | ||
51 | static inline void kernel_init(void) | ||
52 | { | ||
53 | /* Init the threading API */ | ||
54 | init_threads(); | ||
55 | |||
56 | /* Other processors will not reach this point in a multicore build. | ||
57 | * In a single-core build with multiple cores they fall-through and | ||
58 | * sleep in cop_main without returning. */ | ||
59 | if (CURRENT_CORE == CPU) | ||
60 | { | ||
61 | init_queues(); | ||
62 | init_tick(); | ||
63 | #ifdef KDEV_INIT | ||
64 | kernel_device_init(); | ||
65 | #endif | ||
66 | } | ||
67 | } | ||
68 | |||
69 | |||
70 | #endif /* KERNEL_H */ | 51 | #endif /* KERNEL_H */ |