IMCTR_FLUSH
!(val & IMCTR_FLUSH), 1, TLB_LOOP_TIMEOUT,
reg |= IMCTR_FLUSH;
IMCTR_INTEN | IMCTR_FLUSH | IMCTR_MMUEN);
ipmmu_ctx_write_all(domain, IMCTR, IMCTR_FLUSH);