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