APICBASE_X2APIC
if ((base & APICBASE_X2APIC) != 0) {
if ((base & APICBASE_X2APIC) == 0) {
return ((vlapic->msr_apicbase & APICBASE_X2APIC) != 0);
const uint64_t reserved_bits = APICBASE_RESERVED | APICBASE_X2APIC |
vlapic->msr_apicbase &= ~APICBASE_X2APIC;
vlapic->msr_apicbase |= APICBASE_X2APIC;
const uint64_t apicbase_reserved = APICBASE_RESERVED | APICBASE_X2APIC |