VNPASS
VNPASS(vp->v_type == VCHR || vp->v_type == VBAD, vp);
VNPASS(vp->v_type == VCHR || vp->v_type == VBAD, vp);
VNPASS(vp->v_type == VCHR, vp);
VNPASS(vp->v_type == VCHR, vp);
VNPASS(vp->v_usecount == 1, vp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(vs != VGET_NONE, vp);
VNPASS(lowervp->v_usecount > 0, lowervp);
VNPASS(vp->v_object == NULL, vp);
VNPASS((vn_irflag_read(vp) & VIRF_PGREAD) == 0, vp);
VNPASS(lvp->v_holdcnt > 0, lvp);
VNPASS(vp->v_usecount > 0, vp);
VNPASS((vn_irflag_read(vp) & VIRF_PGREAD) != 0, vp);
VNPASS(vp->v_usecount > 0, vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(vp->v_object != NULL, vp);
VNPASS(!VN_IS_DOOMED(dvp), dvp);
VNPASS(dvp->v_type != VNON, dvp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_type != VNON, vp);
VNPASS(VN_IS_DOOMED(vp), vp);
VNPASS(TAILQ_EMPTY(&vp->v_cache_dst), vp);
VNPASS(LIST_EMPTY(&vp->v_cache_src), vp);
VNPASS(vp->v_cache_dd == NULL, vp);
VNPASS(vp->v_type == VDIR || VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_usecount > 0, vp);
VNPASS(vp->v_type == VDIR || VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_type == VDIR || vp->v_type == VREG || vp->v_type == VBAD, vp);
VNPASS(vp->v_type == VDIR || vp->v_type == VREG || vp->v_type == VBAD, vp);
VNPASS(!seqc_in_modify(fpl->tvp_seqc), fpl->tvp);
VNPASS(LIST_EMPTY(&vp->v_cache_src), vp);
VNPASS((mp->mnt_kern_flag & MNTK_NOMSYNC) == 0, vp);
VNPASS((mp->mnt_kern_flag & MNTK_NOMSYNC) != 0, vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(dvp->v_holdcnt > 0, dvp);
VNPASS((vn_irflag_read(dp) & VIRF_MOUNTPOINT) != 0 && mp != NULL, dp);
VNPASS(mvp->v_type == VMARKER, mvp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(vp->v_holdcnt == VHOLD_NO_SMR, vp);
VNPASS((vp->v_mflag & VMP_LAZYLIST) == 0, vp);
VNPASS(vs == VGET_HOLDCNT || vs == VGET_USECOUNT, vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(vs == VGET_HOLDCNT || vp->v_usecount > 0, vp);
VNPASS(vs == VGET_HOLDCNT || vs == VGET_USECOUNT, vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(vs == VGET_HOLDCNT || vp->v_usecount > 0, vp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_mflag & VMP_LAZYLIST, vp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_mflag & VMP_LAZYLIST, vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(vp->v_holdcnt > 1, vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_type == VBAD || vp->v_type == VNON, vp);
VNPASS(VN_IS_DOOMED(vp), vp);
VNPASS((vp->v_iflag & VI_OWEINACT) == 0, vp);
VNPASS((vp->v_iflag & VI_DEFINACT) == 0, vp);
VNPASS((vp->v_iflag & VI_DOINGINACT) == 0, vp);
VNPASS(vp->v_iflag & VI_DOINGINACT, vp);
VNPASS(vn_get_state(vp) == VSTATE_DESTROYING || \
VNPASS((vp->v_iflag & VI_DEFINACT) == 0, vp);
VNPASS(VN_IS_DOOMED(vp), vp);
VNPASS(vn_get_state(vp) != VSTATE_UNINITIALIZED, vp);
VNPASS((vp->v_mflag & VMP_LAZYLIST) == 0, vp);
VNPASS(vp->v_mflag & VMP_LAZYLIST, vp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_mount == mp, vp);
VNPASS(!VN_IS_DOOMED(vp), vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(vp->v_seqc_users >= 0, vp);
VNPASS(vp->v_seqc_users > 0, vp);
VNPASS(seqc_in_modify(vp->v_seqc), vp);
VNPASS(vp->v_seqc_users == 1, vp);
VNPASS(vp->v_holdcnt > 0, vp);
VNPASS(vp->v_type == VDIR, vp);
VNPASS(seqc_in_modify(_vp->v_seqc), _vp); \
VNPASS(!seqc_in_modify(_vp->v_seqc), _vp); \
VNPASS(vp->v_holdcnt != 0, vp);
VNPASS((vn_irflag_read(vp) & VIRF_PGREAD) != 0, vp);
VNPASS(vp->v_usecount > 0, vp);