Changes in kernel/generic/src/main/main.c [6eef3c4:8a64e81e] in mainline

File:

• kernel/generic/src/main/main.c (modified) (3 diffs)

kernel/generic/src/main/main.c

@@ -75 +75 @@
 #include <synch/waitq.h>
 #include <synch/futex.h>
+#include <synch/workqueue.h>
+#include <smp/smp_call.h>
 #include <arch/arch.h>
 #include <arch.h>
@@ -244 +246 @@
         
         cpu_init();
-        
         calibrate_delay_loop();
+        arch_post_cpu_init();
+
+        smp_call_init();
+        workq_global_init();
         clock_counter_init();
         timeout_init();
@@ -347 +352 @@
 void main_ap_separated_stack(void)
 {
+        smp_call_init();
+        
         /*
          * Configure timeouts for this cpu.