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".
Patch 1/3 : The previous version causes CI to fail. This patch attempts to fix this. Patch 2/3 : This was pointed by Jan during the review of "[XEN v2 05/11] xen/arm: Use paddr_t instead of u64 for address/size". Similar to Patch 1/3, this can also be considered as a pre-req for supporting 32 bit physical address. Patch 3/3 : This was also pointed by Jan during the review of "[XEN v2 05/11] xen/arm: Use paddr_t instead of u64 for address/size". Ayan Kumar Halder (3): xen/arm: Use the correct format specifier xen/drivers: ns16550: Fix the use of simple_strtoul() for extracting u64 xen/drivers: ns16550: Fix an incorrect assignment to uart->io_size xen/arch/arm/domain_build.c | 64 +++++++++++++++++++++++-------------- xen/arch/arm/gic-v2.c | 6 ++-- xen/arch/arm/mm.c | 2 +- xen/drivers/char/ns16550.c | 6 ++-- 4 files changed, 47 insertions(+), 31 deletions(-) -- 2.17.1