arm: Handle reserved heap pages in boot and heap allocator



On 01/09/2022 15:01, Henry Wang wrote:

Hi Julien,

-----Original Message-----
From: Julien Grall <jul...@xen.org>

+    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

Reply via email to