Searched refs:timer_ticks (Results 1 – 1 of 1) sorted by relevance
16 uint32_t timer_ticks = 0; in generic_timer_start() local22 timer_ticks = ((uint64_t)read_cntfrq() * time_ms) / 1000; in generic_timer_start()23 write_cntps_tval(timer_ticks); in generic_timer_start()48 uint32_t timer_ticks = 0; in generic_timer_handler() local57 timer_ticks = ((uint64_t)read_cntfrq() * time_ms) / 1000; in generic_timer_handler()58 write_cntps_tval(timer_ticks); in generic_timer_handler()