Changes in kernel/arch/arm32/src/machine_func.c [0e796cc:ecf083dd] in mainline

File:

• kernel/arch/arm32/src/machine_func.c (modified) (1 diff)

kernel/arch/arm32/src/machine_func.c

@@ -128 +128 @@
 size_t machine_get_irq_count(void)
 {
-        size_t irq_count;
- 
-#if defined(MACHINE_gta02)
-        irq_count = GTA02_IRQ_COUNT;
-#elif defined(MACHINE_testarm)
-        irq_count = GXEMUL_IRQ_COUNT;
-#elif defined(MACHINE_integratorcp)
-        irq_count = ICP_IRQ_COUNT;
-#else
-#error Machine type not defined.
-#endif
-        return irq_count;
+        return (machine_ops->machine_get_irq_count)();
 }