end64             424 drivers/iommu/virtio-iommu.c 	u64 start64, end64;
end64             430 drivers/iommu/virtio-iommu.c 	end = end64 = le64_to_cpu(mem->end);
end64             431 drivers/iommu/virtio-iommu.c 	size = end64 - start64 + 1;
end64             434 drivers/iommu/virtio-iommu.c 	if (start != start64 || end != end64 || size < end64 - start64)