LA_LOCKED
witness_assert(&rwl->rwl_lock_obj, LA_LOCKED);
case LA_LOCKED:
case LA_LOCKED | LA_RECURSED:
case LA_LOCKED | LA_NOTRECURSED: