Changeset ecf083dd in mainline for kernel/arch/arm32/src/mach

Timestamp:

2010-07-25T17:35:04Z (15 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

a9b5b5f

Parents:

99b2564

Message:

Make machine_get_irq_count() a true machine op.

Location:

kernel/arch/arm32/src/mach

Files:

• gta02/gta02.c (modified) (3 diffs)
• integratorcp/integratorcp.c (modified) (2 diffs)
• testarm/testarm.c (modified) (2 diffs)

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

@@ -69 +69 @@
 static void gta02_output_init(void);
 static void gta02_input_init(void);
+static size_t gta02_get_irq_count(void);
 
 static void gta02_timer_irq_init(void);
@@ -89 +90 @@
         gta02_frame_init,
         gta02_output_init,
-        gta02_input_init
+        gta02_input_init,
+        gta02_get_irq_count
 };
 
@@ -210 +212 @@
 }
 
+size_t gta02_get_irq_count(void)
+{
+        return GTA02_IRQ_COUNT;
+}
+
 static void gta02_timer_irq_init(void)
 {

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

@@ -64 +64 @@
         icp_frame_init,
         icp_output_init,
-        icp_input_init
+        icp_input_init,
+        icp_get_irq_count
 };
 
@@ -336 +337 @@
 }
 
+size_t icp_get_irq_count(void)
+{
+        return ICP_IRQ_COUNT;
+}
 
 /** @}

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

@@ -64 +64 @@
         gxemul_frame_init,
         gxemul_output_init,
-        gxemul_input_init
+        gxemul_input_init,
+        gxemul_get_irq_count
 };
 
@@ -126 +127 @@
 }
 
+size_t gxemul_get_irq_count(void)
+{
+        return GXEMUL_IRQ_COUNT;
+}
+
 /** Starts gxemul Real Time Clock device, which asserts regular interrupts.
  *