Searched refs:next_ticket (Results 1 – 3 of 3) sorted by relevance
28 while ((my_ticket = __insn_tns((void *)&lock->next_ticket)) & 1) in arch_spin_lock()32 lock->next_ticket = my_ticket + TICKET_QUANTUM; in arch_spin_lock()47 int my_ticket = __insn_tns((void *)&lock->next_ticket); in arch_spin_trylock()51 lock->next_ticket = my_ticket + TICKET_QUANTUM; in arch_spin_trylock()58 lock->next_ticket = my_ticket; in arch_spin_trylock()69 int next = READ_ONCE(lock->next_ticket); in arch_spin_unlock_wait()
42 int next_ticket; member
47 int next = READ_ONCE(lock->next_ticket); in arch_spin_is_locked()