Searched refs:timer_restart (Results 1 – 1 of 1) sorted by relevance
139 static void timer_restart(uint32_t countdown) in timer_restart() function237 timer_restart(temp); in sys_clock_set_timeout()284 timer_restart(MAX_TICKS * CYCLES_PER_TICK); in xec_rtos_timer_isr()316 timer_restart(cached_icr); in xec_rtos_timer_isr()362 timer_restart(cached_icr); in sys_clock_idle_exit()433 timer_restart(cached_icr); in sys_clock_driver_init()441 timer_restart(cached_icr); in sys_clock_driver_init()
