Index: kernel/arch/arm32/include/mach/gta02/gta02.h
===================================================================
--- kernel/arch/arm32/include/mach/gta02/gta02.h	(revision bd48f4ce0bcae08987a78c5940f9588ac0feddb2)
+++ kernel/arch/arm32/include/mach/gta02/gta02.h	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -43,4 +43,7 @@
 extern struct arm_machine_ops gta02_machine_ops;
 
+/** Size of GTA02 IRQ number range (starting from 0) */
+#define GTA02_IRQ_COUNT 32
+
 #endif
 
Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision bd48f4ce0bcae08987a78c5940f9588ac0feddb2)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -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
 
Index: kernel/arch/arm32/include/mach/testarm/testarm.h
===================================================================
--- kernel/arch/arm32/include/mach/testarm/testarm.h	(revision bd48f4ce0bcae08987a78c5940f9588ac0feddb2)
+++ kernel/arch/arm32/include/mach/testarm/testarm.h	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -42,10 +42,8 @@
 #include <arch/machine_func.h>
 
-/** Last interrupt number (beginning from 0) whose status is probed
- * from interrupt controller
- */
-#define GXEMUL_IRQC_MAX_IRQ  8
-#define GXEMUL_KBD_IRQ       2
-#define GXEMUL_TIMER_IRQ     4
+/** Size of GXemul IRQ number range (starting from 0) */
+#define GXEMUL_IRQ_COUNT	32
+#define GXEMUL_KBD_IRQ		2
+#define GXEMUL_TIMER_IRQ	4
 
 /** Timer frequency */
Index: kernel/arch/arm32/include/machine_func.h
===================================================================
--- kernel/arch/arm32/include/machine_func.h	(revision bd48f4ce0bcae08987a78c5940f9588ac0feddb2)
+++ kernel/arch/arm32/include/machine_func.h	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -104,4 +104,6 @@
 extern void machine_input_init(void);
 
+extern size_t machine_get_irq_count(void);
+
 #endif