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