_BLOCKCOUNT_WAITERS
KASSERT(_BLOCKCOUNT_WAITERS(old),
if (_BLOCKCOUNT_WAITERS(old))
if (_BLOCKCOUNT_COUNT(old) == n && _BLOCKCOUNT_WAITERS(old))