308,309d307
< int readIntrFlag() { return thread->readIntrFlag(); }
< void setIntrFlag(int val) { thread->setIntrFlag(val); }