Changes in kernel/arch/arm32/src/interrupt.c [0e796cc:5ac77cc] in mainline

File:

• kernel/arch/arm32/src/interrupt.c (modified) (2 diffs)

kernel/arch/arm32/src/interrupt.c

@@ -40 +40 @@
 #include <ddi/device.h>
 #include <interrupt.h>
+
+/** Initial size of a table holding interrupt handlers. */
+#define IRQ_COUNT 8
 
 /** Disable interrupts.
@@ -102 +105 @@
 void interrupt_init(void)
 {
-        size_t irq_count;
-
-        irq_count = machine_get_irq_count();
-        irq_init(irq_count, irq_count);
-
+        irq_init(IRQ_COUNT, IRQ_COUNT);
         machine_timer_irq_start();
 }