Searched refs:ticket (Results 1 – 2 of 2) sorted by relevance
200 atomic_val_t ticket = atomic_inc(&l->tail); in k_spin_lock() local202 while (atomic_get(&l->owner) != ticket) { in k_spin_lock()
487 ISO, using the new ticket expiration info feature.