vma_flags_set_mask
static __always_inline void vma_flags_set_mask(vma_flags_t *flags, vma_flags_t to_set)