60c60
< { return PteAddr(addr >> NPtePageShift + PageShift); }
---
> { return PteAddr(addr >> (NPtePageShift + PageShift)); }
62c62
< { return PteAddr(addr >> 2 * NPtePageShift + PageShift); }
---
> { return PteAddr(addr >> (2 * NPtePageShift + PageShift)); }