Home
last modified time | relevance | path

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

/hal_rpi_pico-latest/src/common/pico_time/include/pico/
Dtime.h405 alarm_pool_timer_t *alarm_pool_get_default_timer(void);
426 return alarm_pool_create_on_timer(alarm_pool_get_default_timer(), timer_alarm_num, max_timers); in alarm_pool_create()
449 …return alarm_pool_create_on_timer_with_unused_hardware_alarm(alarm_pool_get_default_timer(), max_t… in alarm_pool_create_with_unused_hardware_alarm()
/hal_rpi_pico-latest/src/common/pico_time/
Dtime.c83 alarm_pool_timer_t *timer = alarm_pool_get_default_timer(); in runtime_init_default_alarm_pool()
524 alarm_pool_timer_t *alarm_pool_get_default_timer(void) { in alarm_pool_get_default_timer() function