33 static __always_inline void ticket_spin_lock(arch_spinlock_t *lock)  in ticket_spin_lock()
35 	u32 val = atomic_fetch_add(1<<16, &lock->val);  in ticket_spin_lock()  local
53 static __always_inline bool ticket_spin_trylock(arch_spinlock_t *lock)  in ticket_spin_trylock()
63 static __always_inline void ticket_spin_unlock(arch_spinlock_t *lock)  in ticket_spin_unlock()
66 	u32 val = atomic_read(&lock->val);  in ticket_spin_unlock()  local
71 static __always_inline int ticket_spin_value_unlocked(arch_spinlock_t lock)  in ticket_spin_value_unlocked()
73 	u32 val = lock.val.counter;  in ticket_spin_value_unlocked()  local
78 static __always_inline int ticket_spin_is_locked(arch_spinlock_t *lock)  in ticket_spin_is_locked()
80 	arch_spinlock_t val = READ_ONCE(*lock);  in ticket_spin_is_locked()  local
85 static __always_inline int ticket_spin_is_contended(arch_spinlock_t *lock)  in ticket_spin_is_contended()
87 	u32 val = atomic_read(&lock->val);  in ticket_spin_is_contended()  local