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 | } |