[XEN,v6,0/2] Pre-requisite fixes for supporting 32 bit physical address

Message

Ayan Kumar Halder Feb. 13, 2023, 12:44 p.m. UTC

Hi All,

These series include some patches and fixes identified during the review of
"[XEN v2 00/11] Add support for 32 bit physical address" and
"[XEN v3 0/9] Add support for 32 bit physical address".

Patch 1/2 : This has been reviewed and ack-ed. It needs to be committed before
any of the "[XEN v3 0/9]" patches are applied.

Patch 2/2 : This addresses an issue identified during the review of
"[XEN v3 4/9] xen/arm: Introduce a wrapper for dt_device_get_address() to handle paddr_t".

Ayan Kumar Halder (2):
  xen/arm: Use the correct format specifier
  xen/arm: domain_build: Use pfn start and end address for
    rangeset_{xxx}_range()

 xen/arch/arm/domain_build.c | 86 +++++++++++++++++++++++--------------
 xen/arch/arm/gic-v2.c       |  6 +--
 xen/arch/arm/mm.c           |  2 +-
 3 files changed, 57 insertions(+), 37 deletions(-)