More details on the telnet with CONFIG_PIN_TLB problems

[Paul Mackerras]

Looks like Ben and I have found the problem; Ben added an isync and a
sync to set_context() after setting the PID register and that seems to
have fixed it.  It makes sense, as isync invalidates the shadow DTLB
and ITLB.  (The sync may be unnecessary.)

Paul.

** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/