domain_for_device  845 arch/x86/kernel/amd_iommu.c 	*domain = domain_for_device(*bdf);
domain_for_device 1307 arch/x86/kernel/amd_iommu.c 		if (domain_for_device(devid))