143c143
< Addr newPc = getVector(tc) | (sctlr.te ? (ULL(1) << PcTBitShift) : 0);
---
> Addr newPc = getVector(tc) | (sctlr.te ? PcTBit : 0);