| /trunk/kernel/arch/ppc64/src/interrupt.c |
|---|
| 60,11 → 60,19 |
| int inum; |
| while ((inum = pic_get_pending()) != -1) { |
| bool ack = false; |
| irq_t *irq = irq_dispatch_and_lock(inum); |
| if (irq) { |
| /* |
| * The IRQ handler was found. |
| */ |
| if (irq->preack) { |
| /* Acknowledge the interrupt before processing */ |
| pic_ack_interrupt(inum); |
| ack = true; |
| } |
| irq->handler(irq, irq->arg); |
| spinlock_unlock(&irq->lock); |
| } else { |
| 75,7 → 83,9 |
| printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum); |
| #endif |
| } |
| pic_ack_interrupt(inum); |
| if (!ack) |
| pic_ack_interrupt(inum); |
| } |
| } |