IA32_MSR_APIC_ERROR_STATUS
return x86_read_msr(IA32_MSR_APIC_ERROR_STATUS);
x86_write_msr(IA32_MSR_APIC_ERROR_STATUS, config);