Hi Julien,
> -----Original Message-----
> Subject: Re: [PATCH v2 1/3] xen/arm: Add memory overlap check for
> bootinfo.reserved_mem
> > + printk("Region %#"PRIpaddr" - %#"PRIpaddr" overlapping with
> bank[%u] %#"PRIpaddr" - %#"PRIpaddr"\n",
>
> AFAICT, in messages, the end would be inclusive. But here...
>
> > + region_start, region_end, i, bank_start, bank_end);
>
> ... it would be exclusive. I would suggest to print using the format
> [start, end[ or decrement the value by 1.
Another good point, thanks! I will switch to the "[start, end]" format
in all 3 patches.
Kind regards,
Henry
>
> Cheers,
>
> --
> Julien Grall