IMNT_ONWORKLIST
used_syncer = (mp->mnt_iflag & IMNT_ONWORKLIST) != 0;
KASSERT((mp->mnt_iflag & IMNT_ONWORKLIST) == 0);
mp->mnt_iflag |= IMNT_ONWORKLIST;
KASSERT((mp->mnt_iflag & IMNT_ONWORKLIST) != 0);
mp->mnt_iflag &= ~IMNT_ONWORKLIST;
if ((mp->mnt_iflag & IMNT_ONWORKLIST) == 0 ||
if ((mp->mnt_iflag & IMNT_ONWORKLIST) == 0)
if ((mp->mnt_iflag & IMNT_ONWORKLIST) != 0)
(vp->v_mount->mnt_iflag & IMNT_ONWORKLIST) != 0);
(vp->v_mount->mnt_iflag & IMNT_ONWORKLIST) != 0);
ATF_REQUIRE_MSG(((vp->v_mount->mnt_iflag & IMNT_ONWORKLIST) == 0),