SA_NOTRECURSED
case SA_SLOCKED | SA_NOTRECURSED:
case SA_LOCKED | SA_NOTRECURSED:
if (what & SA_NOTRECURSED)
case SA_XLOCKED | SA_NOTRECURSED:
if (what & SA_NOTRECURSED)
sx_assert(sx, SA_LOCKED | SA_NOTRECURSED);
_sx_assert(sx, SA_XLOCKED | SA_NOTRECURSED, file, line);