57c57
< { return AlphaISA::PteAddr(addr >> PageShift); }
---
> { return PteAddr(addr >> PageShift); }
59c59
< { return AlphaISA::PteAddr(addr >> NPtePageShift + PageShift); }
---
> { return PteAddr(addr >> NPtePageShift + PageShift); }
61c61
< { return AlphaISA::PteAddr(addr >> 2 * NPtePageShift + PageShift); }
---
> { return PteAddr(addr >> 2 * NPtePageShift + PageShift); }