Changes in kernel/arch/ia32/src/smp/smp.c [49e6c6b4:9d58539] in mainline

File:

• kernel/arch/ia32/src/smp/smp.c (modified) (3 diffs)

kernel/arch/ia32/src/smp/smp.c

@@ -55 +55 @@
 #include <memstr.h>
 #include <arch/drivers/i8259.h>
-#include <cpu.h>
 
 #ifdef CONFIG_SMP
@@ -81 +80 @@
 }
 
-static void cpu_arch_id_init(void)
-{
-        ASSERT(ops != NULL);
-        ASSERT(cpus != NULL);
-        
-        for (unsigned int i = 0; i < config.cpu_count; ++i) {
-                cpus[i].arch.id = ops->cpu_apic_id(i);
-        }
-}
-
 /*
  * Kernel thread for bringing up application processors. It becomes clear
@@ -103 +92 @@
         
         ASSERT(ops != NULL);
-
-        /*
-         * SMP initialized, cpus array allocated. Assign each CPU its 
-         * physical APIC ID.
-         */
-        cpu_arch_id_init();
         
         /*