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); |