SX_LOCK_WAITERS
if (SX_SHARERS(*xp) > 1 || !(*xp & SX_LOCK_WAITERS)) {
waiters = (x & SX_LOCK_WAITERS);
setx = x & (SX_LOCK_WAITERS | SX_LOCK_WRITE_SPINNER);