Searched refs:alarm_pool_get_default_timer (Results 1 – 2 of 2) sorted by relevance
405 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()
83 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