Re: [PATCH v2 1/5] xen/arm: Remove most of the *_VIRT_END defines

2022-07-21 Thread Luca Fancellu
> On 20 Jul 2022, at 19:44, Julien Grall wrote: > > From: Julien Grall > > At the moment, *_VIRT_END may either point to the address after the end > or the last address of the region. > > The lack of consistency make quite difficult to reason with them. > > Furthermore, there is a risk of o

Re: [PATCH v2 1/5] xen/arm: Remove most of the *_VIRT_END defines

2022-07-21 Thread Bertrand Marquis
HI Julien, > On 20 Jul 2022, at 19:44, Julien Grall wrote: > > From: Julien Grall > > At the moment, *_VIRT_END may either point to the address after the end > or the last address of the region. > > The lack of consistency make quite difficult to reason with them. > > Furthermore, there is a

[PATCH v2 1/5] xen/arm: Remove most of the *_VIRT_END defines

2022-07-20 Thread Julien Grall
From: Julien Grall At the moment, *_VIRT_END may either point to the address after the end or the last address of the region. The lack of consistency make quite difficult to reason with them. Furthermore, there is a risk of overflow in the case where the address points past to the end. I am not