Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 12b0d51de9d4343bcc2d442e78f69a0a65d854e6)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 4d0f97d471fbaabc58b82a040cdf0bfd40b95dd1)
@@ -108,4 +108,7 @@
 extern struct arm_machine_ops icp_machine_ops;
 
+/** Size of IntegratorCP IRQ number range (starting from 0) */
+#define ICP_IRQ_COUNT 8
+
 #endif