|
@@ -1429,7 +1429,7 @@ void enable_x2apic(void)
|
|
|
rdmsr(MSR_IA32_APICBASE, msr, msr2);
|
|
|
if (!(msr & X2APIC_ENABLE)) {
|
|
|
printk_once(KERN_INFO "Enabling x2apic\n");
|
|
|
- wrmsr(MSR_IA32_APICBASE, msr | X2APIC_ENABLE, 0);
|
|
|
+ wrmsr(MSR_IA32_APICBASE, msr | X2APIC_ENABLE, msr2);
|
|
|
}
|
|
|
}
|
|
|
#endif /* CONFIG_X86_X2APIC */
|