Changes in kernel/generic/src/main/main.c [8a64e81e:6eef3c4] 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>
@@ -246 +244 @@
         
         cpu_init();
+        
         calibrate_delay_loop();
-        arch_post_cpu_init();
-
-        smp_call_init();
-        workq_global_init();
         clock_counter_init();
         timeout_init();
@@ -352 +347 @@
 void main_ap_separated_stack(void)
 {
-        smp_call_init();
-        
         /*
          * Configure timeouts for this cpu.