Symbol: domain_get_id_for_dev
drivers/iommu/intel/cache.c
225
u16 did = domain_get_id_for_dev(domain, dev);
drivers/iommu/intel/cache.c
249
u16 did = domain_get_id_for_dev(domain, dev);