> 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
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
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