497,502d496
<
< Addr oldpc;
< do {
< oldpc = thread->readPC();
< system->pcEventQueue.service(tc);
< } while (oldpc != thread->readPC());