| /trunk/kernel/arch/arm32/src/interrupt.c |
|---|
| 35,11 → 35,18 |
| #include <arch/asm.h> |
| #include <arch/regutils.h> |
| #include <arch/machine.h> |
| #include <ddi/irq.h> |
| #include <ddi/device.h> |
| #include <interrupt.h> |
| #ifdef MACHINE_testarm |
| #include <arch/mach/testarm/testarm.h> |
| #endif |
| #ifdef MACHINE_integratorcp |
| #include <arch/mach/integratorcp/integratorcp.h> |
| #endif |
| /** Initial size of a table holding interrupt handlers. */ |
| #define IRQ_COUNT 8 |
| 96,7 → 103,6 |
| { |
| irq_init(IRQ_COUNT, IRQ_COUNT); |
| machine_timer_irq_start(); |
| } |
| /** @} |