Searched refs:timer_ticks (Results 1 – 1 of 1) sorted by relevance
16 uint32_t timer_ticks; in generic_timer_start() local24 timer_ticks = (read_cntfrq() * time_ms) / 1000; in generic_timer_start()25 write_cntps_tval(timer_ticks); in generic_timer_start()54 uint32_t timer_ticks; in generic_timer_handler() local63 timer_ticks = (read_cntfrq() * time_ms) / 1000; in generic_timer_handler()64 write_cntps_tval(timer_ticks); in generic_timer_handler()
Completed in 2 milliseconds