Searched refs:observe_head (Results 1 – 1 of 1) sorted by relevance

/xen/xen/common/
A D	spinlock.c	151 static always_inline u16 observe_head(spinlock_tickets_t *t) in observe_head() function 166 while ( tickets.tail != observe_head(&lock->tickets) ) in _spin_lock_cb() 276 while ( observe_head(&lock->tickets) == sample.head ) in _spin_barrier()

Completed in 4 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025