protection_domain_free 2968 drivers/iommu/amd_iommu.c 			protection_domain_free(pdomain);
protection_domain_free 3027 drivers/iommu/amd_iommu.c 		protection_domain_free(domain);