ce0937324b
- XXX I'm not sure whether the anticipatory MachTLBUpdate(to, pte) is a gain or loss on runtime. If not a loss, it should be MIPS_TBIS().