device_vma        892 mm/hmm.c       	const unsigned long device_vma = VM_IO | VM_PFNMAP | VM_MIXEDMAP;
device_vma        907 mm/hmm.c       		if (vma == NULL || (vma->vm_flags & device_vma))