Changes in kernel/arch/arm32/src/machine_func.c [66fcba2:ecf083dd] in mainline

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)
+{
+        return (machine_ops->machine_get_irq_count)();
+}
+
 /** @}
  */