Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision ecf083ddad676b0da750a0fddb69925ae0855751)
+++ kernel/arch/arm32/src/machine_func.c	(revision 7978177c2d4315e6f729fb207b2a4c861e0fc170)
@@ -85,5 +85,5 @@
  * @param size		Place to store memory size.
  */
-void machine_get_memory_extents(uintptr_t *start, uintptr_t *size)
+void machine_get_memory_extents(uintptr_t *start, size_t *size)
 {
 	(machine_ops->machine_get_memory_extents)(start, size);