Changes in kernel/generic/src/main/main.c [95d45482:2e4343b] 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>
@@ -171 +173 @@
             ALIGN_UP((uintptr_t) kdata_end - config.base, PAGE_SIZE);
 
-        // NOTE: All kernel stacks must be aligned to STACK_SIZE,
-        //       see get_stack_base().
+        // XXX: All kernel stacks must be aligned to STACK_SIZE,
+        //      see get_stack_base().
 
         /* Place the stack after the kernel, init and ballocs. */
@@ -272 +274 @@
         ARCH_OP(post_cpu_init);
 
+        smp_call_init();
+        workq_global_init();
         clock_counter_init();
         timeout_init();
@@ -377 +381 @@
 void main_ap_separated_stack(void)
 {
+        smp_call_init();
+
         /*
          * Configure timeouts for this cpu.