vma_flags_test_single_mask
return vma_flags_test_single_mask(&vma->flags, flagmask);
if (vma_flags_test_single_mask(&vma_flags, VMA_DROPPABLE))
return vma_flags_test_single_mask(&vma->flags, flagmask);
ASSERT_TRUE(vma_flags_test_single_mask(&flags, mk_vma_flags(_flag))); \
ASSERT_FALSE(vma_flags_test_single_mask(&flags, mk_vma_flags(_flag))); \
ASSERT_FALSE(vma_flags_test_single_mask(&flags, EMPTY_VMA_FLAGS));
ASSERT_FALSE(vma_flags_test_single_mask(&flags, EMPTY_VMA_FLAGS));