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/
