Home
last modified time | relevance | path

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

/external/platform/pico/common/pico_time/
A Dtime.c74 static inline alarm_id_t make_public_id(uint8_t id_high, pheap_node_id_t id) { in make_public_id() function
148 pool->alarm_in_progress = make_public_id(id_high, removed_id); in alarm_pool_alarm_callback()
157 int64_t repeat = callback(make_public_id(id_high, next_id), user_data); in alarm_pool_alarm_callback()
161 assert(pool->alarm_in_progress == make_public_id(id_high, next_id)); in alarm_pool_alarm_callback()
164 assert(pool->alarm_in_progress == make_public_id(id_high, next_id)); in alarm_pool_alarm_callback()
247 public_id = missed ? 0 : make_public_id(id_high, id); in alarm_pool_add_alarm_at()
290 return make_public_id(id_high, id); in alarm_pool_add_alarm_at_force_in_context()

Completed in 3 milliseconds