device_def_domain_type 5606 drivers/iommu/intel-iommu.c 		if (device_def_domain_type(dev) == IOMMU_DOMAIN_IDENTITY) {
device_def_domain_type 5617 drivers/iommu/intel-iommu.c 		if (device_def_domain_type(dev) == IOMMU_DOMAIN_DMA) {