Symbol: ipmmu_domain_free_context
drivers/iommu/ipmmu-vmsa.c
458
ipmmu_domain_free_context(domain->mmu->root,
drivers/iommu/ipmmu-vmsa.c
480
ipmmu_domain_free_context(domain->mmu->root, domain->context_id);