59,60c59,62
< namespace Kernel {
< class Statistics;
---
> namespace TheISA {
> namespace Kernel {
> class Statistics;
> };
127c129
< virtual Kernel::Statistics *getKernelStats() = 0;
---
> virtual TheISA::Kernel::Statistics *getKernelStats() = 0;
298c300,301
< Kernel::Statistics *getKernelStats() { return actualTC->getKernelStats(); }
---
> TheISA::Kernel::Statistics *getKernelStats()
> { return actualTC->getKernelStats(); }