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