Re: [PATCH 2/2] xen/arm: Handle reserved heap pages in boot and heap allocator

[Julien Grall <julien@xxxxxxx>]

On 01/09/2022 15:01, Henry Wang wrote:
> Hi Julien,
>
> > -----Original Message-----
> > From: Julien Grall <julien@xxxxxxx>
> > > > +    paddr_t reserved_heap_start = ~0, reserved_heap_end = 0,
> > > INVALID_PADDR or ~0ULL
> > I would strongly prefer the former. It is more difficult to understand
> > what's the value means in the latter.
> Thanks for the input. You mean the INVALID_PADDR correct? 
That's correct.

Cheers,

--
Julien Grall