47d46
< #include "arch/kernel_stats.hh"
54a54
> #include "kern/kernel_stats.hh"
142c142
< getKernelStats()->quiesce();
---
> getKernelStats()->quiesce();