74 static alarm_id_t make_alarm_id(int index, uint16_t counter) {  in make_alarm_id()  argument
75     return index << 16 | counter;  in make_alarm_id()
245             for(int16_t index = pool->ordered_head; index != -1; ) {  in alarm_pool_irq_handler()  local
246                 alarm_pool_entry_t *entry = &pool->entries[index];  in alarm_pool_irq_handler()
251                     if (index != pool->ordered_head) {  in alarm_pool_irq_handler()
255                         pool->ordered_head = index;  in alarm_pool_irq_handler()
260                 index = next;  in alarm_pool_irq_handler()
325     int16_t index = pool->free_head;  in alarm_pool_add_alarm_at_force_in_context()  local
326     alarm_pool_entry_t *entry = &pool->entries[index];  in alarm_pool_add_alarm_at_force_in_context()
327     if (index >= 0) {  in alarm_pool_add_alarm_at_force_in_context()
332 …if (index < 0) return PICO_ERROR_GENERIC; // PICO_ERROR_INSUFFICIENT_RESOURCES - not using to pres…  in alarm_pool_add_alarm_at_force_in_context()
341     alarm_id_t id = make_alarm_id(index, next_sequence);  in alarm_pool_add_alarm_at_force_in_context()
346     pool->new_head = index;  in alarm_pool_add_alarm_at_force_in_context()
355     int16_t index = alarm_index(alarm_id);  in alarm_pool_cancel_alarm()  local
356     if (index >= pool->num_entries) return false;  in alarm_pool_cancel_alarm()
359     alarm_pool_entry_t *entry = &pool->entries[index];  in alarm_pool_cancel_alarm()
533     int16_t index = alarm_index(alarm_id);  in alarm_pool_remaining_alarm_time_us()  local
534     if ((uint16_t)index < pool->num_entries) {  in alarm_pool_remaining_alarm_time_us()
536         alarm_pool_entry_t *entry = &pool->entries[index];  in alarm_pool_remaining_alarm_time_us()
542                 if (index == search_index) {  in alarm_pool_remaining_alarm_time_us()