vma_desc_set_flags
vma_desc_set_flags(desc, VMA_HUGEPAGE_BIT);
vma_desc_set_flags(desc, VMA_IO_BIT, VMA_DONTEXPAND_BIT,
vma_desc_set_flags(desc, VMA_DONTCOPY_BIT, VMA_DONTDUMP_BIT);
vma_desc_set_flags(desc, VMA_DONTEXPAND_BIT, VMA_DONTDUMP_BIT);
vma_desc_set_flags(desc, VMA_DONTEXPAND_BIT);
vma_desc_set_flags(desc, VMA_HUGEPAGE_BIT);
vma_desc_set_flags(desc, VMA_HUGEPAGE_BIT);
vma_desc_set_flags(desc, VMA_HUGETLB_BIT, VMA_DONTEXPAND_BIT);
vma_desc_set_flags(desc, VMA_SEQ_READ_BIT);
vma_desc_set_flags(desc, VMA_HUGEPAGE_BIT);
vma_desc_set_flags(desc, VMA_DONTEXPAND_BIT);
vma_desc_set_flags(desc, VMA_MIXEDMAP_BIT);
vma_desc_set_flags(desc, VMA_LOCKED_BIT, VMA_DONTDUMP_BIT);
vma_desc_set_flags(&desc, VMA_EXEC_BIT, 64);
vma_desc_set_flags(&desc, __VA_ARGS__)
vma_desc_set_flags(&desc, bit);