Home
last modified time | relevance | path

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

/external/platform/pico/common/pico_time/
A Dtime.c64 static inline uint8_t *get_entry_id_high(alarm_pool_t *pool, pheap_node_id_t id) { in get_entry_id_high() function
147 id_high = *get_entry_id_high(pool, next_id); in alarm_pool_alarm_callback()
170 (*get_entry_id_high(pool, next_id))++; // we bump it for next use of id in alarm_pool_alarm_callback()
236 if (id) id_high = *get_entry_id_high(pool, id); in alarm_pool_add_alarm_at()
281 if (id) id_high = *get_entry_id_high(pool, id); in alarm_pool_add_alarm_at_force_in_context()
302 if (id_high == *get_entry_id_high(pool, id)) { in alarm_pool_cancel_alarm()
329 …printf("%lld (hi %02x)", to_us_since_boot(get_entry(pool, id)->target), *get_entry_id_high(pool, i… in alarm_pool_dump_key()

Completed in 3 milliseconds