MSR_APICBASE
return (x2apic_msr(msr) || msr == MSR_APICBASE);
if (msr == MSR_APICBASE) {
if (msr == MSR_APICBASE) {
apicbase = rdmsr(MSR_APICBASE);
wrmsr(MSR_APICBASE, apicbase);
apicbase = rdmsr(MSR_APICBASE);
wrmsr(MSR_APICBASE, apicbase);
apic_base = rdmsr(MSR_APICBASE);
wrmsr(MSR_APICBASE, apic_base);
apic_base = rdmsr(MSR_APICBASE);