apic_lvt_current_timer_count
uint32 apic_lvt_current_timer_count();
uint32 startCount = apic_lvt_current_timer_count();
uint32 endCount = apic_lvt_current_timer_count();