60c60
< #include "arch/tlb.hh"
---
> #include "arch/kernel_stats.hh"
61a62
> #include "arch/tlb.hh"
64d64
< #include "kern/kernel_stats.hh"