Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 0e796cc3e0abc77c3580a6189cb9b4ce08a72f79)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 69a60c4719c00c65754e37637d85664db3fa149f)
@@ -105,4 +105,5 @@
 extern void icp_get_memory_extents(uintptr_t *, uintptr_t *);
 extern void icp_frame_init(void);
+extern size_t icp_get_irq_count(void);
 
 extern struct arm_machine_ops icp_machine_ops;