91,99d90
< bool check_interrupt(int int_num) const {
< if (int_num > NumInterruptLevels)
< panic("int_num out of bounds\n");
<
< return interrupts[int_num] != 0;
< }
<
< bool check_interrupts() const { return intstatus != 0; }
<
111a103,107
> bool check_interrupts(ThreadContext * tc) const
> {
> return (intstatus != 0) && !(tc->readPC() & 0x3);
> }
>
166d161
< uint64_t intr_status() const { return intstatus; }