43a44,45
> #include "cpu/simple/timing.hh"
>
49d50
< #include "cpu/simple/timing.hh"
53a55
> #include "debug/Mwait.hh"
62,63d63
< #include "debug/Mwait.hh"
<