Changes in kernel/generic/src/main/main.c [91db0280:36df4109] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -76 +76 @@
 #include <synch/waitq.h>
 #include <synch/futex.h>
+#include <synch/workqueue.h>
+#include <smp/smp_call.h>
 #include <arch/arch.h>
 #include <arch.h>
@@ -236 +238 @@
          * Memory management subsystems initialization.
          */
-        arch_pre_mm_init();
+        ARCH_OP(pre_mm_init);
         km_identity_init();
         frame_init();
@@ -248 +250 @@
         km_non_identity_init();
         ddi_init();
-        arch_post_mm_init();
+        ARCH_OP(post_mm_init);
         reserve_init();
-        arch_pre_smp_init();
+        ARCH_OP(pre_smp_init);
         smp_init();
         
@@ -263 +265 @@
         
         cpu_init();
-        
         calibrate_delay_loop();
+        ARCH_OP(post_cpu_init);
+
+        smp_call_init();
+        workq_global_init();
         clock_counter_init();
         timeout_init();
@@ -336 +341 @@
         the_initialize(THE);
         
-        arch_pre_mm_init();
+        ARCH_OP(pre_mm_init);
         frame_init();
         page_init();
         tlb_init();
-        arch_post_mm_init();
+        ARCH_OP(post_mm_init);
         
         cpu_init();
         calibrate_delay_loop();
-        arch_post_cpu_init();
+        ARCH_OP(post_cpu_init);
         
         the_copy(THE, (the_t *) CPU->stack);
@@ -367 +372 @@
 void main_ap_separated_stack(void)
 {
+        smp_call_init();
+        
         /*
          * Configure timeouts for this cpu.