IA32_MSR_APIC_BASE_X2APIC
sX2APIC = ((x86_read_msr(IA32_MSR_APIC_BASE) & IA32_MSR_APIC_BASE_X2APIC) != 0);
|| ((apic_base & IA32_MSR_APIC_BASE_X2APIC) != 0))) {
if ((apic_base & IA32_MSR_APIC_BASE_X2APIC) == 0) {
| IA32_MSR_APIC_BASE_X2APIC);