Index: kernel/arch/arm32/src/mach/gta02/gta02.c
===================================================================
--- kernel/arch/arm32/src/mach/gta02/gta02.c	(revision c06994673347954891a57710998cf1e087a59e8b)
+++ kernel/arch/arm32/src/mach/gta02/gta02.c	(revision 3a4ac81ba8f6e2a39733e3ea182453fee6ed9b92)
@@ -65,5 +65,5 @@
 static void gta02_timer_irq_start(void);
 static void gta02_cpu_halt(void);
-static void gta02_get_memory_extents(uintptr_t *start, uintptr_t *size);
+static void gta02_get_memory_extents(uintptr_t *start, size_t *size);
 static void gta02_irq_exception(unsigned int exc_no, istate_t *istate);
 static void gta02_frame_init(void);
@@ -123,5 +123,5 @@
  * @param size		Place to store memory size.
  */
-static void gta02_get_memory_extents(uintptr_t *start, uintptr_t *size)
+static void gta02_get_memory_extents(uintptr_t *start, size_t *size)
 {
 	*start = GTA02_MEMORY_START + GTA02_MEMORY_SKIP;
Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision c06994673347954891a57710998cf1e087a59e8b)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 3a4ac81ba8f6e2a39733e3ea182453fee6ed9b92)
@@ -220,5 +220,5 @@
  * @param size		Place to store memory size.
  */
-void icp_get_memory_extents(uintptr_t *start, uintptr_t *size)
+void icp_get_memory_extents(uintptr_t *start, size_t *size)
 {
 	*start = 0;
Index: kernel/arch/arm32/src/mach/testarm/testarm.c
===================================================================
--- kernel/arch/arm32/src/mach/testarm/testarm.c	(revision c06994673347954891a57710998cf1e087a59e8b)
+++ kernel/arch/arm32/src/mach/testarm/testarm.c	(revision 3a4ac81ba8f6e2a39733e3ea182453fee6ed9b92)
@@ -202,8 +202,8 @@
  * @param size		Place to store memory size.
  */
-void gxemul_get_memory_extents(uintptr_t *start, uintptr_t *size)
+void gxemul_get_memory_extents(uintptr_t *start, size_t *size)
 {
 	*start = 0;
-        *size = *((uintptr_t *) (GXEMUL_MP_ADDRESS + GXEMUL_MP_MEMSIZE_OFFSET));
+	*size = *((uintptr_t *) (GXEMUL_MP_ADDRESS + GXEMUL_MP_MEMSIZE_OFFSET));
 }