92,94c92,93
< bool check_interrupt(int int_num) const {
< return interrupts.check_interrupt(int_num);
< }
---
> bool check_interrupts(ThreadContext * tc) const
> { return interrupts.check_interrupts(tc); }
96,98d94
< bool check_interrupts() const { return interrupts.check_interrupts(); }
< //uint64_t intr_status() const { return interrupts.intr_status(); }
<