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

File:

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

kernel/arch/arm32/include/machine_func.h

@@ -50 +50 @@
         void (*machine_timer_irq_start)(void);
         void (*machine_cpu_halt)(void);
-        void (*machine_get_memory_extents)(uintptr_t *, size_t *);
+        void (*machine_get_memory_extents)(uintptr_t *, uintptr_t *);
         void (*machine_irq_exception)(unsigned int, istate_t *);
         void (*machine_frame_init)(void);
@@ -81 +81 @@
  * @param size          Place to store memory size.
  */
-extern void machine_get_memory_extents(uintptr_t *start, size_t *size);
+extern void machine_get_memory_extents(uintptr_t *start, uintptr_t *size);
 
 /** Interrupt exception handler.