LK_EXCLUSIVE_SPINNERS
MPASS((x & LK_EXCLUSIVE_SPINNERS) == 0);
if ((x & (LK_SHARE | LK_EXCLUSIVE_WAITERS | LK_EXCLUSIVE_SPINNERS)) ==
MPASS((x & LK_EXCLUSIVE_SPINNERS) == 0);
v = x & (LK_ALL_WAITERS | LK_EXCLUSIVE_SPINNERS);
v = (x & ~LK_EXCLUSIVE_SPINNERS);
MPASS((x & LK_EXCLUSIVE_SPINNERS) == 0);
if (x & LK_EXCLUSIVE_SPINNERS)
if (lk->lk_lock & LK_EXCLUSIVE_SPINNERS)
x = orig_x & (LK_ALL_WAITERS | LK_EXCLUSIVE_SPINNERS);
~(LK_ALL_WAITERS | LK_EXCLUSIVE_SPINNERS)));
v = x & (LK_ALL_WAITERS | LK_EXCLUSIVE_SPINNERS);
v &= ~LK_EXCLUSIVE_SPINNERS;
(LK_SHARE | LK_ALL_WAITERS | LK_EXCLUSIVE_SPINNERS | LK_WRITER_RECURSED)