markvoldirty
error = markvoldirty(pmp, 0);
(void)markvoldirty(pmp, 1);
(void)markvoldirty(pmp, 1);
if ((error = markvoldirty(pmp, 1)) != 0)
error = markvoldirty(pmp, 0);
(void)markvoldirty(pmp, 1);