vma_is_attached
WARN_ON_ONCE(!vma_is_attached(vma));
WARN_ON_ONCE(vma_is_attached(vma));
vma_is_attached(dst));