Re: [PATCH 4/4] xen/arm: Introduce fw_unreserved_regions() and use it

2020-10-01 Thread Julien Grall
Hi Stefano, On 01/10/2020 00:40, Stefano Stabellini wrote: On Sat, 26 Sep 2020, Julien Grall wrote: I have a small suggestion for improvement that could be done on commit: given that bootinfo is actually used on EFI systems (granted, not bootinfo.reserved_mem but bootinfo.mem, see xen/arch/arm/e

Re: [PATCH 4/4] xen/arm: Introduce fw_unreserved_regions() and use it

2020-09-30 Thread Stefano Stabellini
On Sat, 26 Sep 2020, Julien Grall wrote: > From: Julien Grall > > Since commit 6e3e77120378 "xen/arm: setup: Relocate the Device-Tree > later on in the boot", the device-tree will not be kept mapped when > using ACPI. > > However, a few places are calling dt_unreserved_regions() which expects >

[PATCH 4/4] xen/arm: Introduce fw_unreserved_regions() and use it

2020-09-26 Thread Julien Grall
From: Julien Grall Since commit 6e3e77120378 "xen/arm: setup: Relocate the Device-Tree later on in the boot", the device-tree will not be kept mapped when using ACPI. However, a few places are calling dt_unreserved_regions() which expects a valid DT. This will lead to a crash. As the DT should