155c155
< Addr pcbb = tc->readMiscRegNoEffect(AlphaISA::IPR_PALtemp23);
---
> Addr pcbb = tc->readMiscRegNoEffect(IPR_PALtemp23);
216,217c216,217
< } /* end namespace AlphaISA::Kernel */
< } /* end namespace AlphaISA */
---
> } // namespace Kernel
> } // namespace AlphaISA