Home
last modified time | relevance | path

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

/hal_rpi_pico-latest/src/rp2_common/hardware_timer/include/hardware/
Dtimer.h141 #ifndef TIMER_NUM_FROM_IRQ
144 #define TIMER_NUM_FROM_IRQ(irq_num) (((irq_num) - TIMER_IRQ_0) >> 2) macro
147 #define TIMER_NUM_FROM_IRQ(irq_num) (((irq_num) - TIMER0_IRQ_0) >> 2) macro
/hal_rpi_pico-latest/src/rp2_common/pico_time_adapter/include/pico/
Dtime_adapter.h33 alarm_pool_timer_t *timer = timer_get_instance(TIMER_NUM_FROM_IRQ(irq_num)); in ta_from_current_irq()
/hal_rpi_pico-latest/src/rp2_common/hardware_timer/
Dtimer.c156 uint timer_num = TIMER_NUM_FROM_IRQ(irq_num); in hardware_alarm_irq_handler()