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