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 bd48f4ce0bcae08987a78c5940f9588ac0feddb2)
@@ -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 bd48f4ce0bcae08987a78c5940f9588ac0feddb2)
@@ -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);