Changes in kernel/generic/src/main/main.c [2e4343b:95d45482] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -78 +78 @@
 #include <synch/waitq.h>
 #include <synch/futex.h>
-#include <synch/workqueue.h>
-#include <smp/smp_call.h>
 #include <arch/arch.h>
 #include <arch.h>
@@ -173 +171 @@
             ALIGN_UP((uintptr_t) kdata_end - config.base, PAGE_SIZE);
 
-        // XXX: All kernel stacks must be aligned to STACK_SIZE,
-        //      see get_stack_base().
+        // NOTE: All kernel stacks must be aligned to STACK_SIZE,
+        //       see get_stack_base().
 
         /* Place the stack after the kernel, init and ballocs. */
@@ -274 +272 @@
         ARCH_OP(post_cpu_init);
 
-        smp_call_init();
-        workq_global_init();
         clock_counter_init();
         timeout_init();
@@ -381 +377 @@
 void main_ap_separated_stack(void)
 {
-        smp_call_init();
-
         /*
          * Configure timeouts for this cpu.