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 7a23d608cbb99296cbb7a611ef7824d57ee7210a)
@@ -104,4 +104,6 @@
 extern void machine_input_init(void);
 
+extern size_t machine_get_irq_count(void);
+
 #endif