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