Changes in kernel/arch/arm32/src/machine_func.c [ecf083dd:0e796cc] 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)
 {
-        return (machine_ops->machine_get_irq_count)();
+        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;
 }