get_iommu_domain 1546 drivers/iommu/intel-iommu.c 			iommu_flush_dev_iotlb(get_iommu_domain(iommu, did),
get_iommu_domain 4730 drivers/iommu/intel-iommu.c 			domain = get_iommu_domain(iommu, (u16)did);