Searched refs:timer_hardware_alarm_get_irq_num (Results 1 – 3 of 3) sorted by relevance
69 uint irq_num = timer_hardware_alarm_get_irq_num(timer, alarm_num); in ta_enable_irq_handler()77 uint irq_num = timer_hardware_alarm_get_irq_num(timer, alarm_num); in ta_disable_irq_handler()
560 static inline uint timer_hardware_alarm_get_irq_num(timer_hw_t *timer, uint alarm_num) { in timer_hardware_alarm_get_irq_num() function571 return timer_hardware_alarm_get_irq_num(PICO_DEFAULT_TIMER_INSTANCE(), alarm_num); in hardware_alarm_get_irq_num()
252 irq_clear(timer_hardware_alarm_get_irq_num(timer, alarm_num)); in timer_hardware_alarm_set_target()
