30a31,32
> #include "cpu/thread_state.hh"
>
36d37
< #include "cpu/thread_state.hh"