vma_test_single_mask
if (vma_test_single_mask(vma, VMA_DROPPABLE))
ASSERT_TRUE(vma_test_single_mask(&vma, mk_vma_flags(_flag))); \
ASSERT_FALSE(vma_test_single_mask(&vma, mk_vma_flags(_flag))); \
ASSERT_FALSE(vma_test_single_mask(&vma, EMPTY_VMA_FLAGS));
ASSERT_FALSE(vma_test_single_mask(&vma, EMPTY_VMA_FLAGS));