|
@@ -1077,6 +1077,7 @@ void __apicdebuginit print_local_APIC(void * dummy)
|
|
|
|
|
|
printk("\n" KERN_DEBUG "printing local APIC contents on CPU#%d/%d:\n",
|
|
|
smp_processor_id(), hard_smp_processor_id());
|
|
|
+ v = apic_read(APIC_ID);
|
|
|
printk(KERN_INFO "... APIC ID: %08x (%01x)\n", v, GET_APIC_ID(read_apic_id()));
|
|
|
v = apic_read(APIC_LVR);
|
|
|
printk(KERN_INFO "... APIC VERSION: %08x\n", v);
|