793a794,797
> if (cpsr.pan != old_cpsr.pan) {
> getDTBPtr(tc)->invalidateMiscReg();
> }
>