On Tue, Feb 10, 2015 at 2:18 PM, Denys Vlasenko
<vda.li...@googlemail.com> wrote:
> while (1) {
> if (READ_ONCE(lock->tickets.head) != TICKET_TAIL(val))
> cpu_relax();
> }
Doh.... should be
while (READ_ONCE(lock->tickets.head) != TICKET_TAIL(val)
cpu_relax();
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
