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)