vma_flags_set_mask
vma_flags_set_mask(flags, mk_vma_flags(__VA_ARGS__))
vma_flags_set_mask(&vma->flags, flags);
vma_flags_set_mask(&desc->vma_flags, flags);
vma_flags_set_mask(&new_vma_flags, vma_flags);
vma_flags_set_mask(&sticky_flags, target_sticky);
vma_flags_set_mask(&sticky_flags, next_sticky);
vma_flags_set_mask(&vma_flags, VMA_DATA_DEFAULT_FLAGS);
vma_flags_set_mask(&vma_flags, mm->def_vma_flags);
vma_flags_set_mask(&sticky_flags, next_sticky);
vma_flags_set_mask(&sticky_flags, prev_sticky);
vma_flags_set_mask(flags, mk_vma_flags(__VA_ARGS__))
vma_flags_set_mask(&vma->flags, flags);
vma_flags_set_mask(&desc->vma_flags, flags);
vma_flags_set_mask(&vma_flags, VMA_STICKY_FLAGS);
vma_flags_set_mask(&vma_a->flags, VMA_STICKY_FLAGS);
vma_flags_set_mask(&vma_b->flags, VMA_STICKY_FLAGS);
vma_flags_set_mask(&vma_c->flags, VMA_STICKY_FLAGS);
vma_flags_set_mask(&prev_flags, VMA_STICKY_FLAGS);
vma_flags_set_mask(&vma_flags, VMA_STICKY_FLAGS);
vma_flags_set_mask(&next_flags, VMA_STICKY_FLAGS);
vma_flags_set_mask(&flags, mask);