__VMA_UFFD_FLAGS
vma_flags_clear_mask(&new_vma_flags, __VMA_UFFD_FLAGS);
append_vma_flags(__VMA_UFFD_FLAGS, VMA_SHARED_BIT)