IMCTR
false, domain, IMCTR))
reg = ipmmu_ctx_read_root(domain, IMCTR);
ipmmu_ctx_write_all(domain, IMCTR, reg);
ipmmu_ctx_write_all(domain, IMCTR,
ipmmu_ctx_write_all(domain, IMCTR, IMCTR_FLUSH);
ipmmu_ctx_write(mmu, i, IMCTR, 0);