|
@@ -1341,7 +1341,7 @@ void enable_x2apic(void)
|
|
|
|
|
|
rdmsr(MSR_IA32_APICBASE, msr, msr2);
|
|
rdmsr(MSR_IA32_APICBASE, msr, msr2);
|
|
if (!(msr & X2APIC_ENABLE)) {
|
|
if (!(msr & X2APIC_ENABLE)) {
|
|
- pr_info("Enabling x2apic\n");
|
|
|
|
|
|
+ printk_once(KERN_INFO "Enabling x2apic\n");
|
|
wrmsr(MSR_IA32_APICBASE, msr | X2APIC_ENABLE, 0);
|
|
wrmsr(MSR_IA32_APICBASE, msr | X2APIC_ENABLE, 0);
|
|
}
|
|
}
|
|
}
|
|
}
|