Changeset 4d0f97d in mainline for kernel/arch/arm32/src/machine_func.c

Timestamp:

2010-07-16T14:23:41Z (15 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

e2650d3

Parents:

aa0d227 (diff), 24697c3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge from lp:~jsvoboda/helenos/gta02. This adds support for the GTA02 platform. Fixes ticket #134.

File:

• kernel/arch/arm32/src/machine_func.c (modified) (4 diffs)

kernel/arch/arm32/src/machine_func.c

@@ -39 +39 @@
 
 #include <arch/machine_func.h>
+#include <arch/mach/gta02/gta02.h>
 #include <arch/mach/integratorcp/integratorcp.h>
 #include <arch/mach/testarm/testarm.h>
@@ -48 +49 @@
 void machine_ops_init(void)
 {
-#if defined(MACHINE_testarm)
+#if defined(MACHINE_gta02)
+        machine_ops = &gta02_machine_ops;
+#elif defined(MACHINE_testarm)
         machine_ops = &gxemul_machine_ops;
 #elif defined(MACHINE_integratorcp)
@@ -77 +80 @@
 }
 
-
-/** Returns size of available memory.
+/** Get extents of available memory.
  *
- *  @return Size of available memory.
+ * @param start         Place to store memory start address.
+ * @param size          Place to store memory size.
  */
-uintptr_t machine_get_memory_size(void)
+void machine_get_memory_extents(uintptr_t *start, uintptr_t *size)
 {
-        return (machine_ops->machine_get_memory_size)();
+        (machine_ops->machine_get_memory_extents)(start, size);
 }
 
@@ -122 +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;
+}
+
 /** @}
  */