Rev 2927 | Rev 4339 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 3149 | ||
|---|---|---|---|
| Line 159... | Line 159... | ||
| 159 | } else { |
159 | } else { |
| 160 | /* |
160 | /* |
| 161 | * Spurious interrupt. |
161 | * Spurious interrupt. |
| 162 | */ |
162 | */ |
| 163 | #ifdef CONFIG_DEBUG |
163 | #ifdef CONFIG_DEBUG |
| 164 | printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, i); |
164 | printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, i); |
| 165 | #endif |
165 | #endif |
| 166 | } |
166 | } |
| 167 | } |
167 | } |
| 168 | } |
168 | } |
| 169 | } |
169 | } |