Lines Matching defs:tvp_seqc
3661 seqc_t vp_seqc, tvp_seqc;
3709 tvp_seqc = vn_seqc_read_any(tvp);
3710 if (seqc_in_modify(tvp_seqc)) {
3719 vp_seqc = tvp_seqc;
3742 tvp_seqc = vn_seqc_read_any(tvp);
3743 if (seqc_in_modify(tvp_seqc)) {
3763 vp_seqc = tvp_seqc;
4315 seqc_t tvp_seqc;
4778 seqc_t tvp_seqc;
4783 tvp_seqc = fpl->tvp_seqc;
4797 if (!vn_seqc_consistent(tvp, tvp_seqc)) {
5121 fpl->tvp_seqc = fpl->dvp_seqc;
5173 fpl->tvp_seqc = fpl->dvp_seqc;
5378 fpl->tvp_seqc = fpl->dvp_seqc;
5407 fpl->tvp_seqc = vn_seqc_read_any(dvp);
5408 if (seqc_in_modify(fpl->tvp_seqc)) {
5441 fpl->tvp_seqc = vn_seqc_read_any(fpl->tvp);
5442 if (seqc_in_modify(fpl->tvp_seqc)) {
5673 fpl->tvp_seqc = vn_seqc_read_any(tvp);
5674 if (seqc_in_modify(fpl->tvp_seqc)) {
5725 vp_seqc = fpl->tvp_seqc;
5769 fpl->tvp_seqc = vp_seqc;
5782 vp_seqc = fpl->tvp_seqc;
5822 fpl->tvp_seqc = vp_seqc;
6028 fpl->tvp_seqc = fpl->dvp_seqc;
6061 seqc_t tvp_seqc;
6067 tvp_seqc = fpl->tvp_seqc;
6086 if (!vn_seqc_consistent(tvp, tvp_seqc)) {
6312 VNPASS(!seqc_in_modify(fpl->tvp_seqc), fpl->tvp);
6331 fpl->dvp_seqc = fpl->tvp_seqc;
6412 * tvp_seqc = seqc_read_any(tvp);
6414 * if (seqc_in_modify(tvp_seqc))
6424 * dvp_seqc = tvp_seqc;
6429 * if (!seqc_consistent(tvp, tvp_seqc) // final check