Changes in kernel/arch/arm32/src/interrupt.c [5ac77cc:0e796cc] 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.
@@ -105 +102 @@
 void interrupt_init(void)
 {
-        irq_init(IRQ_COUNT, IRQ_COUNT);
+        size_t irq_count;
+
+        irq_count = machine_get_irq_count();
+        irq_init(irq_count, irq_count);
+
         machine_timer_irq_start();
 }