Changes in kernel/arch/arm32/include/machine_func.h [ecf083dd:d99c1d2] in mainline

File:

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

kernel/arch/arm32/include/machine_func.h

@@ -46 +46 @@
 #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);
-        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);
+        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);
 };
 
-/** Pointer to arm_machine_ops structure being used. */
-extern struct arm_machine_ops *machine_ops;
+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. */
@@ -75 +73 @@
 extern void machine_cpu_halt(void);
 
-/** Get extents of available memory.
+
+/** Returns size of available memory.
  *
- * @param start         Place to store memory start address.
- * @param size          Place to store memory size.
+ *  @return Size of available memory.
  */
-extern void machine_get_memory_extents(uintptr_t *start, uintptr_t *size);
+extern uintptr_t machine_get_memory_size(void);
+
 
 /** Interrupt exception handler.
@@ -87 +86 @@
  * @param istate Saved processor state.
  */
-extern void machine_irq_exception(unsigned int exc_no, istate_t *istate);
+extern void machine_irq_exception(int exc_no, istate_t *istate);
 
 
@@ -105 +104 @@
 extern void machine_input_init(void);
 
-extern size_t machine_get_irq_count(void);
-
+extern void machine_genfunc(void);
 #endif