155c155,156
< fetch_PC, thread->cpuId(), inst->threadNumber);
---
> fetch_PC, thread->contextId(),
> inst->threadNumber);