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