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? Yeah this is the one that I used in my local v2, will send it tomorrow after doing the bootinfo change. Kind regards, Henry > > Cheers, > > -- > Julien Grall