PUFFS_VN_INACTIVE
case PUFFS_VN_INACTIVE:
preq->preq_optype == PUFFS_VN_INACTIVE));
&& (preq->preq_optype == PUFFS_VN_INACTIVE
PUFFS_VN_INACTIVE, ck);
PUFFS_VN_INACTIVE, VPTOPNC(vp));
ATF_REQUIRE_EQ(pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE], 0);
ATF_REQUIRE_EQ(pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE], 1);
ATF_REQUIRE_EQ(pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE], 2);
ATF_REQUIRE_EQ(pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE], 0);
ATF_REQUIRE_EQ(pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE], 0);
ATF_REQUIRE(pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE] > 0);
ianow = pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE];
ATF_REQUIRE(ianow < pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE]);
ianow = pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE];
ATF_REQUIRE(pargs->pta_vn_toserv_ops[PUFFS_VN_INACTIVE] > ianow);