Changes in kernel/arch/arm32/include/machine_func.h [0e796cc:ecf083dd] in mainline

File:

• kernel/arch/arm32/include/machine_func.h (modified) (1 diff)

kernel/arch/arm32/include/machine_func.h

@@ -55 +55 @@
         void (*machine_output_init)(void);
         void (*machine_input_init)(void);
+        size_t (*machine_get_irq_count)(void);
 };