46a47
> #include "sim/system.hh"
88a90,97
> inline void checkPcEventQueue() {
> Addr oldpc;
> do {
> oldpc = thread->readPC();
> system->pcEventQueue.service(tc);
> } while (oldpc != thread->readPC());
> }
>