device_flush_iotlb 1256 drivers/iommu/amd_iommu.c ret = device_flush_iotlb(dev_data, 0, ~0UL); device_flush_iotlb 1291 drivers/iommu/amd_iommu.c ret |= device_flush_iotlb(dev_data, address, size);