Index: kernel/arch/arm32/include/machine_func.h
===================================================================
--- kernel/arch/arm32/include/machine_func.h	(revision d7ef14b00a909e507a2742d2e1d5a3af153b293a)
+++ kernel/arch/arm32/include/machine_func.h	(revision 6da81e0c60d843f4695eea9a49c54c89e3d2535f)
@@ -104,4 +104,6 @@
 extern void machine_input_init(void);
 
+extern size_t machine_get_irq_count(void);
+
 #endif