Searched refs:timer_get_instance (Results 1 – 3 of 3) sorted by relevance
33 alarm_pool_timer_t *timer = timer_get_instance(TIMER_NUM_FROM_IRQ(irq_num)); in ta_from_current_irq()93 return timer_get_instance(timer_num); in ta_timer_instance()
593 static inline timer_hw_t *timer_get_instance(uint timer_num) { in timer_get_instance() function
157 timer_hw_t *timer = timer_get_instance(timer_num); in hardware_alarm_irq_handler()
