Rev 2924 | Rev 3431 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2924 | Rev 3424 | ||
|---|---|---|---|
| Line 165... | Line 165... | ||
| 165 | } else { |
165 | } else { |
| 166 | /* |
166 | /* |
| 167 | * Spurious interrupt. |
167 | * Spurious interrupt. |
| 168 | */ |
168 | */ |
| 169 | #ifdef CONFIG_DEBUG |
169 | #ifdef CONFIG_DEBUG |
| 170 | printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, i); |
170 | printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, i); |
| 171 | #endif |
171 | #endif |
| 172 | } |
172 | } |
| 173 | } |
173 | } |
| 174 | } |
174 | } |
| 175 | } |
175 | } |