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 25c51c8e602b7f708bb84edbdd36fb2d38224ec8)
@@ -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;