val TLBWriteEntry : TLBIndexT -> unit effect {rreg, wreg, escape}
