43c43
< #include "kern/kernel_stats.hh"
---
> #include "kern/alpha/kernel_stats.hh"
382c382
< tc->getKernelStats()->mode(Kernel::user, tc);
---
> tc->getKernelStats()->mode(TheISA::Kernel::user, tc);
385c385
< tc->getKernelStats()->mode(Kernel::kernel, tc);
---
> tc->getKernelStats()->mode(TheISA::Kernel::kernel, tc);