51a52
> newInfoSet = false;
140,151c141,144
< tc->setMiscReg(IPR_ISR, summary);
< tc->setMiscReg(IPR_INTID, ipl);
<
< /* The following needs to be added back in somehow */
< // Checker needs to know these two registers were updated.
< /*#if USE_CHECKER
< if (this->checker) {
< this->checker->threadBase()->setMiscReg(IPR_ISR, summary);
< this->checker->threadBase()->setMiscReg(IPR_INTID, ipl);
< }
< #endif*/
<
---
> // assert(!newInfoSet);
> newIpl = ipl;
> newSummary = newSummary;
> newInfoSet = true;
160a154,161
> void updateIntrInfo(ThreadContext *tc)
> {
> assert(newInfoSet);
> tc->setMiscReg(IPR_ISR, newSummary);
> tc->setMiscReg(IPR_INTID, newIpl);
> newInfoSet = false;
> }
>
161a163,165
> bool newInfoSet;
> int newIpl;
> int newSummary;