244c244
< uint64_t readPC() { return thread->readPC(); }
---
> uint64_t instAddr() { return thread->instAddr(); }
246c246
< uint64_t readNextPC() { return thread->readNextPC(); }
---
> uint64_t nextInstAddr() { return thread->nextInstAddr(); }
248,251d247
< void setNextPC(uint64_t val) {
< thread->setNextPC(val);
< }
<