MSR_APICBASE
apic_base = rdmsr(MSR_APICBASE);
wrmsr(MSR_APICBASE,
apic_base = rdmsr(MSR_APICBASE);
apic_base = rdmsr(MSR_APICBASE);
if ((rdmsr(MSR_APICBASE) & APICBASE_PHYSADDR) == 0xfee00000) {
if (exit->u.rdmsr.msr != MSR_APICBASE) {