LA_SLOCKED
witness_assert(&rwl->rwl_lock_obj, LA_SLOCKED);
case LA_SLOCKED:
case LA_SLOCKED | LA_RECURSED:
case LA_SLOCKED | LA_NOTRECURSED:
if ((flags & LA_SLOCKED) != 0 &&