40,41c40,43
< namespace Kernel {
< class Statistics;
---
> namespace TheISA {
> namespace Kernel {
> class Statistics;
> };
94c96,97
< Kernel::Statistics *getKernelStats() { return actualTC->getKernelStats(); }
---
> TheISA::Kernel::Statistics *getKernelStats()
> { return actualTC->getKernelStats(); }