160     spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);  in hardware_alarm_irq_handler()  local
161     uint32_t save = spin_lock_blocking(lock);  in hardware_alarm_irq_handler()
182     spin_unlock(lock, save);  in hardware_alarm_irq_handler()
199     spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);  in timer_hardware_alarm_set_callback()  local
200     uint32_t save = spin_lock_blocking(lock);  in timer_hardware_alarm_set_callback()
208     spin_unlock(lock, save);  in timer_hardware_alarm_set_callback()
226         spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);  in timer_hardware_alarm_set_target()  local
227         uint32_t save = spin_lock_blocking(lock);  in timer_hardware_alarm_set_target()
259         spin_unlock(lock, save);  in timer_hardware_alarm_set_target()
272     spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);  in timer_hardware_alarm_cancel()  local
273     uint32_t save = spin_lock_blocking(lock);  in timer_hardware_alarm_cancel()
276     spin_unlock(lock, save);  in timer_hardware_alarm_cancel()
285     spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER);  in timer_hardware_alarm_force_irq()  local
286     uint32_t save = spin_lock_blocking(lock);  in timer_hardware_alarm_force_irq()
288     spin_unlock(lock, save);  in timer_hardware_alarm_force_irq()