36 static inline int arch_spin_is_locked(arch_spinlock_t *lock)  in arch_spin_is_locked()  argument
46 	int curr = READ_ONCE(lock->current_ticket);  in arch_spin_is_locked()
47 	int next = READ_ONCE(lock->next_ticket);  in arch_spin_is_locked()
52 void arch_spin_lock(arch_spinlock_t *lock);
55 #define arch_spin_lock_flags(lock, flags) arch_spin_lock(lock)  argument
57 int arch_spin_trylock(arch_spinlock_t *lock);
59 static inline void arch_spin_unlock(arch_spinlock_t *lock)  in arch_spin_unlock()  argument
62 	int old_ticket = lock->current_ticket;  in arch_spin_unlock()
64 	lock->current_ticket = old_ticket + TICKET_QUANTUM;  in arch_spin_unlock()
67 void arch_spin_unlock_wait(arch_spinlock_t *lock);
89 	return (rwlock->lock << _RD_COUNT_WIDTH) == 0;  in arch_read_can_lock()
97 	return rwlock->lock == 0;  in arch_write_can_lock()
130 #define arch_read_lock_flags(lock, flags) arch_read_lock(lock)  argument
131 #define arch_write_lock_flags(lock, flags) arch_write_lock(lock)  argument