ipmmu_domain_setup_context  512 drivers/iommu/ipmmu-vmsa.c 	ipmmu_domain_setup_context(domain);
ipmmu_domain_setup_context 1190 drivers/iommu/ipmmu-vmsa.c 			ipmmu_domain_setup_context(mmu->domains[i]);