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