Rev 2089 | Rev 3343 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2089 | Rev 3071 | ||
---|---|---|---|
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 | } |