IA32_MSR_APIC_BASE
sX2APIC = ((x86_read_msr(IA32_MSR_APIC_BASE) & IA32_MSR_APIC_BASE_X2APIC) != 0);
uint64 apic_base = x86_read_msr(IA32_MSR_APIC_BASE);
uint64 apic_base = x86_read_msr(IA32_MSR_APIC_BASE);
x86_write_msr(IA32_MSR_APIC_BASE, apic_base