Rev 2927 | Rev 4341 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 3149 | ||
|---|---|---|---|
| Line 78... | Line 78... | ||
| 78 | } else { |
78 | } else { |
| 79 | /* |
79 | /* |
| 80 | * Spurious interrupt. |
80 | * Spurious interrupt. |
| 81 | */ |
81 | */ |
| 82 | #ifdef CONFIG_DEBUG |
82 | #ifdef CONFIG_DEBUG |
| 83 | printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum); |
83 | printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum); |
| 84 | #endif |
84 | #endif |
| 85 | } |
85 | } |
| 86 | 86 | ||
| 87 | if (!ack) |
87 | if (!ack) |
| 88 | pic_ack_interrupt(inum); |
88 | pic_ack_interrupt(inum); |