Changes in kernel/generic/src/main/main.c [36df4109:91db0280] 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>
@@ -238 +236 @@
          * Memory management subsystems initialization.
          */
-        ARCH_OP(pre_mm_init);
+        arch_pre_mm_init();
         km_identity_init();
         frame_init();
@@ -250 +248 @@
         km_non_identity_init();
         ddi_init();
-        ARCH_OP(post_mm_init);
+        arch_post_mm_init();
         reserve_init();
-        ARCH_OP(pre_smp_init);
+        arch_pre_smp_init();
         smp_init();
         
@@ -265 +263 @@
         
         cpu_init();
+        
         calibrate_delay_loop();
-        ARCH_OP(post_cpu_init);
-
-        smp_call_init();
-        workq_global_init();
         clock_counter_init();
         timeout_init();
@@ -341 +336 @@
         the_initialize(THE);
         
-        ARCH_OP(pre_mm_init);
+        arch_pre_mm_init();
         frame_init();
         page_init();
         tlb_init();
-        ARCH_OP(post_mm_init);
+        arch_post_mm_init();
         
         cpu_init();
         calibrate_delay_loop();
-        ARCH_OP(post_cpu_init);
+        arch_post_cpu_init();
         
         the_copy(THE, (the_t *) CPU->stack);
@@ -372 +367 @@
 void main_ap_separated_stack(void)
 {
-        smp_call_init();
-        
         /*
          * Configure timeouts for this cpu.