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(-) -- 2.17.1