Rev 4343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4343 | Rev 4344 | ||
|---|---|---|---|
| Line 130... | Line 130... | ||
| 130 | #ifdef CONFIG_DEBUG |
130 | #ifdef CONFIG_DEBUG |
| 131 | printf("cpu%u: APIC spurious interrupt\n", CPU->id); |
131 | printf("cpu%u: APIC spurious interrupt\n", CPU->id); |
| 132 | #endif |
132 | #endif |
| 133 | } |
133 | } |
| 134 | 134 | ||
| 135 | static irq_ownership_t l_apic_timer_claim(void *instance) |
135 | static irq_ownership_t l_apic_timer_claim(irq_t *irq) |
| 136 | { |
136 | { |
| 137 | return IRQ_ACCEPT; |
137 | return IRQ_ACCEPT; |
| 138 | } |
138 | } |
| 139 | 139 | ||
| 140 | static void l_apic_timer_irq_handler(irq_t *irq) |
140 | static void l_apic_timer_irq_handler(irq_t *irq) |