claim 58 kernel/generic/src/synch/irq_spinlock.c static inline void claim(irq_spinlock_t *lock) claim 83 kernel/generic/src/synch/irq_spinlock.c static inline void claim(irq_spinlock_t *lock)