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