Changes in kernel/arch/arm32/include/machine_func.h [66fcba2:0e796cc] in mainline

File:

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

kernel/arch/arm32/include/machine_func.h

@@ -47 +47 @@
 
 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)(unsigned 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);
 };
 
@@ -74 +74 @@
 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.
@@ -105 +104 @@
 extern void machine_input_init(void);
 
+extern size_t machine_get_irq_count(void);
+
 #endif