moved apic init() before the printf of the barrelfish to get the correct apic_id
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 27 Nov 2014 12:27:18 +0000 (13:27 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 27 Nov 2014 12:27:18 +0000 (13:27 +0100)
kernel/arch/x86_64/init.c

index 4295542..7f4e2a0 100644 (file)
@@ -481,12 +481,13 @@ static void  __attribute__ ((noreturn, noinline)) text_init(void)
     // Enable machine check reporting
     mcheck_init();
 
-    // do not remove/change this printf: needed by regression harness
-    printf("Barrelfish CPU driver starting on x86_64 apic_id %u\n", apic_id);
-    
     // Initialize local APIC
     apic_init();
 
+    // do not remove/change this printf: needed by regression harness
+    printf("Barrelfish CPU driver starting on x86_64 apic_id %u\n", apic_id);
+   
+
     if(apic_is_bsp()) {
         // Initialize classic (8259A) PIC
         pic_init();