Searched refs:tickets (Results 1 – 3 of 3) sorted by relevance
140 spinlock_tickets_t tickets = SPINLOCK_TICKET_INC; in _spin_lock_cb() local144 tickets.head_tail = arch_fetch_and_add(&lock->tickets.head_tail, in _spin_lock_cb()145 tickets.head_tail); in _spin_lock_cb()146 while ( tickets.tail != observe_head(&lock->tickets) ) in _spin_lock_cb()184 add_sized(&lock->tickets.head, 1); in _spin_unlock()210 ? lock->tickets.head != lock->tickets.tail in _spin_is_locked()219 old = observe_lock(&lock->tickets); in _spin_trylock()224 if ( cmpxchg(&lock->tickets.head_tail, in _spin_trylock()248 sample = observe_lock(&lock->tickets); in _spin_barrier()251 while ( observe_head(&lock->tickets) == sample.head ) in _spin_barrier()
141 spinlock_tickets_t tickets; member
46 which in essence are round-robin recycled 'tickets' stamped with the GPFNs,
Completed in 5 milliseconds