111,113c111,115
< interrupts[hstick_match] = false;
< --numPosted;
< return new HstickMatch;
---
> if (tc->readMiscReg(MISCREG_HINTP) & 1) {
> interrupts[hstick_match] = false;
> --numPosted;
> return new HstickMatch;
> }
120a123,127
> } else {
> if (interrupts[hstick_match]) {
> return NoFault;
> }
>
123d129
<
132,134c138,142
< interrupts[hstick_match] = false;
< --numPosted;
< return new HstickMatch;
---
> if (tc->readMiscReg(MISCREG_HINTP) & 1) {
> interrupts[hstick_match] = false;
> --numPosted;
> return new HstickMatch;
> }