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

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/src

Files:

• interrupt.c (modified) (2 diffs)
• mach/testarm/testarm.c (modified) (1 diff)
• machine_func.c (modified) (1 diff)

kernel/arch/arm32/src/interrupt.c

@@ -40 +40 @@
 #include <ddi/device.h>
 #include <interrupt.h>
-
-/** Initial size of a table holding interrupt handlers. */
-#define IRQ_COUNT 8
 
 /** Disable interrupts.
@@ -105 +102 @@
 void interrupt_init(void)
 {
-        irq_init(IRQ_COUNT, IRQ_COUNT);
+        size_t irq_count;
+
+        irq_count = machine_get_irq_count();
+        irq_init(irq_count, irq_count);
+
         machine_timer_irq_start();
 }

kernel/arch/arm32/src/mach/testarm/testarm.c

@@ -211 +211 @@
         unsigned int i;
 
-        for (i = 0; i < GXEMUL_IRQC_MAX_IRQ; i++) {
+        for (i = 0; i < GXEMUL_IRQ_COUNT; i++) {
                 if (sources & (1 << i)) {
                         irq_t *irq = irq_dispatch_and_lock(i);

kernel/arch/arm32/src/machine_func.c

@@ -125 +125 @@
 }
 
+/** Get IRQ number range used by machine. */
+size_t machine_get_irq_count(void)
+{
+        size_t irq_count;
+ 
+#if defined(MACHINE_gta02)
+        irq_count = GTA02_IRQ_COUNT;
+#elif defined(MACHINE_testarm)
+        irq_count = GXEMUL_IRQ_COUNT;
+#elif defined(MACHINE_integratorcp)
+        irq_count = ICP_IRQ_COUNT;
+#else
+#error Machine type not defined.
+#endif
+        return irq_count;
+}
+
 /** @}
  */