Changes in kernel/arch/arm32/include/machine_func.h [a71c158:eff1f033] in mainline

File:

• kernel/arch/arm32/include/machine_func.h (modified) (4 diffs)

kernel/arch/arm32/include/machine_func.h

@@ -43 +43 @@
 
 #include <console/console.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/exception.h>
 
-#define MACHINE_GENFUNC machine_genfunc
-
 struct arm_machine_ops {
-        void            (*machine_init)(void);
-        void            (*machine_timer_irq_start)(void);
-        void            (*machine_cpu_halt)(void);
-        uintptr_t       (*machine_get_memory_size)(void);
-        void            (*machine_irq_exception)(int, istate_t*);
-        void            (*machine_frame_init)(void);
-        void            (*machine_output_init)(void);
-        void            (*machine_input_init)(void);
+        void (*machine_init)(void);
+        void (*machine_timer_irq_start)(void);
+        void (*machine_cpu_halt)(void);
+        void (*machine_get_memory_extents)(uintptr_t *, uintptr_t *);
+        void (*machine_irq_exception)(unsigned int, istate_t *);
+        void (*machine_frame_init)(void);
+        void (*machine_output_init)(void);
+        void (*machine_input_init)(void);
+        size_t (*machine_get_irq_count)(void);
+        const char *(*machine_get_platform_name)(void);
 };
 
-extern struct arm_machine_ops machine_ops;
+/** Pointer to arm_machine_ops structure being used. */
+extern struct arm_machine_ops *machine_ops;
 
+/** Initialize machine_ops pointer. */
+extern void machine_ops_init(void);
 
 /** Maps HW devices to the kernel address space using #hw_map. */
@@ -73 +76 @@
 extern void machine_cpu_halt(void);
 
-
-/** 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.
  */
-extern uintptr_t machine_get_memory_size(void);
-
+extern void machine_get_memory_extents(uintptr_t *start, uintptr_t *size);
 
 /** Interrupt exception handler.
@@ -86 +88 @@
  * @param istate Saved processor state.
  */
-extern void machine_irq_exception(int exc_no, istate_t *istate);
+extern void machine_irq_exception(unsigned int exc_no, istate_t *istate);
 
 
@@ -104 +106 @@
 extern void machine_input_init(void);
 
-extern void machine_genfunc(void);
+extern size_t machine_get_irq_count(void);
+
 #endif