ipmmu_ctx_write_all
ipmmu_ctx_write_all(domain, IMCTR, reg);
ipmmu_ctx_write_all(domain, IMCTR,
ipmmu_ctx_write_all(domain, IMCTR, IMCTR_FLUSH);