I noticed that the code in exception.S:TRAP() doesn't invalidate the ALAT on a register backing store switch. This could be a problem if the kernel starts using data speculation (say by using a different compiler). However, restorectx is doing the right thing by using invala. So my question is, are there any other reasons why TRAP() doesn't use invala ? -Arun