Revision 24865167

b/hw/openpic.c
279 279
    }
280 280
    IRQ_get_next(opp, &dst->raised);
281 281
    if (IRQ_get_next(opp, &dst->servicing) != -1 &&
282
        priority < dst->servicing.priority) {
282
        priority <= dst->servicing.priority) {
283 283
        DPRINTF("%s: IRQ %d is hidden by servicing IRQ %d on CPU %d\n",
284 284
                __func__, n_IRQ, dst->servicing.next, n_CPU);
285 285
        /* Already servicing a higher priority IRQ */

Also available in: Unified diff