VS_ACTIVE
case VS_ACTIVE:
vp->v_state = VS_ACTIVE;
case VS_ACTIVE:
KKASSERT(vp->v_state == VS_ACTIVE ||
KKASSERT(vp->v_state == VS_ACTIVE);
} else if (vp->v_state == VS_ACTIVE) {
case VS_ACTIVE: