Rev 3116 | Rev 3431 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3116 | Rev 3424 | ||
---|---|---|---|
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); |