Changes in kernel/arch/arm32/src/mach/gta02/gta02.c [2686705:c0699467] in mainline

File:

• kernel/arch/arm32/src/mach/gta02/gta02.c (modified) (2 diffs)

kernel/arch/arm32/src/mach/gta02/gta02.c

@@ -65 +65 @@
 static void gta02_timer_irq_start(void);
 static void gta02_cpu_halt(void);
-static void gta02_get_memory_extents(uintptr_t *start, size_t *size);
+static void gta02_get_memory_extents(uintptr_t *start, uintptr_t *size);
 static void gta02_irq_exception(unsigned int exc_no, istate_t *istate);
 static void gta02_frame_init(void);
@@ -123 +123 @@
  * @param size          Place to store memory size.
  */
-static void gta02_get_memory_extents(uintptr_t *start, size_t *size)
+static void gta02_get_memory_extents(uintptr_t *start, uintptr_t *size)
 {
         *start = GTA02_MEMORY_START + GTA02_MEMORY_SKIP;