vma_flags_clear_mask
static __always_inline void vma_flags_clear_mask(vma_flags_t *flags,
static __always_inline void vma_flags_clear_mask(vma_flags_t *flags, vma_flags_t to_clear)