Searched refs:PICO_SPINLOCK_ID_TIMER (Results 1 – 4 of 4) sorted by relevance
40 #ifndef PICO_SPINLOCK_ID_TIMER41 #define PICO_SPINLOCK_ID_TIMER 10 macro
160 spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER); in hardware_alarm_irq_handler()199 spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER); in timer_hardware_alarm_set_callback()226 spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER); in timer_hardware_alarm_set_target()272 spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER); in timer_hardware_alarm_cancel()285 spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_TIMER); in timer_hardware_alarm_force_irq()
26 #ifndef PICO_SPINLOCK_ID_TIMER27 #define PICO_SPINLOCK_ID_TIMER 10 macro
90 lock_init(&sleep_notifier, PICO_SPINLOCK_ID_TIMER); in runtime_init_default_alarm_pool()