Searched refs:get_entry_id_high (Results 1 – 1 of 1) sorted by relevance
| /external/platform/pico/common/pico_time/ |
| A D | time.c | 64 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