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