ipmmu_utlb_enable
ipmmu_utlb_enable(mmu->root->domains[mmu->utlb_ctx[i]], i);
ipmmu_utlb_enable(domain, fwspec->ids[i]);