LK_SHARERS_LOCK
MPASS((v & ~LK_ALL_WAITERS) == LK_SHARERS_LOCK(1));
LK_SHARERS_LOCK(1) | x))
x |= LK_SHARERS_LOCK(1);
#define LK_UNLOCKED LK_SHARERS_LOCK(0)