ipmmu_domain_setup_context
ipmmu_domain_setup_context(mmu->domains[i]);
ipmmu_domain_setup_context(domain);