Home
last modified time | relevance | path

Searched refs:alarm_pool_irq_handler (Results 1 – 1 of 1) sorted by relevance

/hal_rpi_pico-latest/src/common/pico_time/
Dtime.c130 static void alarm_pool_irq_handler(void);
134 #define repeating_timer_marker ((alarm_callback_t)alarm_pool_irq_handler)
136 static void alarm_pool_irq_handler(void) { in alarm_pool_irq_handler() function
295 ta_enable_irq_handler(timer, hardware_alarm_num, alarm_pool_irq_handler); in alarm_pool_post_alloc_init()
305 ta_disable_irq_handler(pool->timer, pool->timer_alarm_num, alarm_pool_irq_handler); in alarm_pool_destroy()