Add the call to dbgprint_mem_range() into the ARM version of get_memory_ranges(). Signed-off-by: Russell King <rmk at arm.linux.org.uk> --- kexec/arch/arm/kexec-arm.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kexec/arch/arm/kexec-arm.c b/kexec/arch/arm/kexec-arm.c index e47fc00..eeb27b4 100644 --- a/kexec/arch/arm/kexec-arm.c +++ b/kexec/arch/arm/kexec-arm.c @@ -70,6 +70,9 @@ int get_memory_ranges(struct memory_range **range, int *ranges, fclose(fp); *range = memory_range; *ranges = memory_ranges; + + dbgprint_mem_range("MEMORY RANGES", *range, *ranges); + return 0; } -- 1.9.1