xen/arm: early_print_info print reserved_mem
authorStefano Stabellini <sstabellini@kernel.org>
Mon, 19 Aug 2019 17:43:35 +0000 (10:43 -0700)
committerJulien Grall <julien.grall@arm.com>
Tue, 20 Aug 2019 12:39:59 +0000 (13:39 +0100)
commite91c0d4f41bb74ea28f7db92d2b427b2ce4595e5
treec7a04cdb24e51444108c38cad5b430e68ab736ed
parent3a54f089cfbc133825d2a4e0335cf2c988c596ec
xen/arm: early_print_info print reserved_mem

Improve early_print_info to also print the banks saved in
bootinfo.reserved_mem. Print them right after RESVD, increasing the same
index.

Since we are at it, also switch the existing RESVD print to use unsigned
int.

Signed-off-by: Stefano Stabellini <stefanos@xilinx.com>
Reviewed-by: Volodymyr Babchuk <volodymyr.babchuk@epam.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/bootfdt.c