51c51
< #include "config/use_checker.hh"
---
> #include "cpu/checker/cpu.hh"
66,69d65
< #if USE_CHECKER
< #include "cpu/checker/cpu.hh"
< #endif
<
740d735
< #if USE_CHECKER
744d738
< #endif
1146d1139
< #if USE_CHECKER
1152d1144
< #endif
1165d1156
< #if USE_CHECKER
1170d1160
< #endif