Changes in kernel/arch/arm32/include/mach/testarm/testarm.h [12b0d51:66fcba2] in mainline

File:

• kernel/arch/arm32/include/mach/testarm/testarm.h (modified) (1 diff)

kernel/arch/arm32/include/mach/testarm/testarm.h

@@ -73 +73 @@
 extern void gxemul_cpu_halt(void);
 extern void gxemul_irq_exception(unsigned int, istate_t *);
-extern void gxemul_get_memory_extents(uintptr_t *, uintptr_t *);
+extern uintptr_t gxemul_get_memory_size(void);
 extern void gxemul_frame_init(void);