Home
last modified time | relevance | path

Searched refs:id_high (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() argument
75 return (alarm_id_t)(((uint)id_high << 8u * sizeof(id)) | id); in make_public_id()
133 uint8_t id_high; in alarm_pool_alarm_callback() local
147 id_high = *get_entry_id_high(pool, next_id); in alarm_pool_alarm_callback()
232 uint8_t id_high = 0; in alarm_pool_add_alarm_at() local
236 if (id) id_high = *get_entry_id_high(pool, id); in alarm_pool_add_alarm_at()
247 public_id = missed ? 0 : make_public_id(id_high, id); in alarm_pool_add_alarm_at()
277 uint8_t id_high = 0; in alarm_pool_add_alarm_at_force_in_context() local
281 if (id) id_high = *get_entry_id_high(pool, id); in alarm_pool_add_alarm_at_force_in_context()
290 return make_public_id(id_high, id); in alarm_pool_add_alarm_at_force_in_context()
[all …]

Completed in 3 milliseconds