Symbol: pdom_detach_iommu
drivers/iommu/amd/iommu.c
2359
pdom_detach_iommu(iommu, domain);
drivers/iommu/amd/iommu.c
2441
pdom_detach_iommu(iommu, domain);