Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 7c866dca6d6a65672794e3e3200314306a99f714)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision c40e6ef70f0e9c43e2f42c99ec4a98b405e12653)
@@ -103,5 +103,5 @@
 extern void icp_cpu_halt(void);
 extern void icp_irq_exception(unsigned int, istate_t *);
-extern uintptr_t icp_get_memory_size(void);
+extern void icp_get_memory_extents(uintptr_t *, uintptr_t *);
 extern void icp_frame_init(void);
 
Index: kernel/arch/arm32/include/mach/testarm/testarm.h
===================================================================
--- kernel/arch/arm32/include/mach/testarm/testarm.h	(revision 7c866dca6d6a65672794e3e3200314306a99f714)
+++ kernel/arch/arm32/include/mach/testarm/testarm.h	(revision c40e6ef70f0e9c43e2f42c99ec4a98b405e12653)
@@ -73,5 +73,5 @@
 extern void gxemul_cpu_halt(void);
 extern void gxemul_irq_exception(unsigned int, istate_t *);
-extern uintptr_t gxemul_get_memory_size(void);
+extern void gxemul_get_memory_extents(uintptr_t *, uintptr_t *);
 extern void gxemul_frame_init(void);