IMSTR
ipmmu_ctx_write_root(domain, IMSTR, ipmmu_ctx_read_root(domain, IMSTR));
status = ipmmu_ctx_read_root(domain, IMSTR);
ipmmu_ctx_write_root(domain, IMSTR, 0);