APIC_TIMER_DIVIDE_CONFIG
return apic_read(APIC_TIMER_DIVIDE_CONFIG);
apic_write(APIC_TIMER_DIVIDE_CONFIG, config);