Changeset 0e796cc in mainline for kernel/arch/arm32/include

Timestamp:

2010-07-15T09:01:49Z (15 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

41ce4d9

Parents:

bd11d3e

Message:

Allow different number of IRQs for each arm machine.

Location:

kernel/arch/arm32/include

Files:

• mach/gta02/gta02.h (modified) (1 diff)
• mach/integratorcp/integratorcp.h (modified) (1 diff)
• mach/testarm/testarm.h (modified) (1 diff)
• machine_func.h (modified) (1 diff)

kernel/arch/arm32/include/mach/gta02/gta02.h

@@ -43 +43 @@
 extern struct arm_machine_ops gta02_machine_ops;
 
+/** Size of GTA02 IRQ number range (starting from 0) */
+#define GTA02_IRQ_COUNT 32
+
 #endif
 

kernel/arch/arm32/include/mach/integratorcp/integratorcp.h

@@ -108 +108 @@
 extern struct arm_machine_ops icp_machine_ops;
 
+/** Size of IntegratorCP IRQ number range (starting from 0) */
+#define ICP_IRQ_COUNT 8
+
 #endif
 

kernel/arch/arm32/include/mach/testarm/testarm.h

@@ -42 +42 @@
 #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 */

kernel/arch/arm32/include/machine_func.h

@@ -104 +104 @@
 extern void machine_input_init(void);
 
+extern size_t machine_get_irq_count(void);
+
 #endif