vma_flags_reset_once
vma_flags_reset_once(vma, new_vma_flags);
vma_flags_reset_once(vma, &new_vma_flags);