Rev 3906 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3906 | Rev 3941 | ||
---|---|---|---|
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) |