Rev 3657 | Rev 3766 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3657 | Rev 3661 | ||
---|---|---|---|
Line 260... | Line 260... | ||
260 | tlb_shootdown_ipi_recv(); |
260 | tlb_shootdown_ipi_recv(); |
261 | end_of_local_irq(); |
261 | end_of_local_irq(); |
262 | break; |
262 | break; |
263 | #endif |
263 | #endif |
264 | 264 | ||
- | 265 | case INTERRUPT_TIMER: |
|
- | 266 | { |
|
265 | 267 | ||
- | 268 | irq_t *irq = irq_dispatch_and_lock(ivr.vector); |
|
- | 269 | if (irq) { |
|
- | 270 | irq->handler(irq, irq->arg); |
|
- | 271 | spinlock_unlock(&irq->lock); |
|
- | 272 | } else { |
|
- | 273 | panic("\nUnhandled Internal Timer Interrupt (%d)\n",ivr.vector); |
|
- | 274 | } |
|
- | 275 | } |
|
- | 276 | break; |
|
- | 277 | ||
266 | default: |
278 | default: |
267 | { |
279 | { |
268 | 280 | ||
269 | int ack=false; |
281 | int ack=false; |
270 | irq_t *irq = irq_dispatch_and_lock(ivr.vector); |
282 | irq_t *irq = irq_dispatch_and_lock(ivr.vector); |