vma_is_sealed
if (!vma_is_sealed(vma))
if (vma_is_sealed(vma))
if (vma_is_sealed(vms->vma)) {
if (vma_is_sealed(next)) {