114a115,118
> void setMemory(MemObject *mem);
>
> MemObject *memPtr;
>
327,328d330
< int readIntrFlag() { return thread->readIntrFlag(); }
< void setIntrFlag(int val) { thread->setIntrFlag(val); }