Re: [PATCH] accel/tcg: Drop PAGE_RESERVED for CONFIG_BSD

[Philippe Mathieu-Daudé]

On 20/12/22 20:31, Richard Henderson wrote:
> On 12/17/22 10:48, Richard Henderson wrote:
> > Make bsd-user match linux-user in not marking host pages
> > as reserved.  This isn't especially effective anyway, as
> > it doesn't take into account any heap memory that qemu
> > may allocate after startup.
> >
> > Cc: Warner Losh <imp@bsdimp.com>
> > Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
> > ---
> >
> > I started to simply fix up this code to match my user-only interval-tree
> > patch set, as L1_MAP_ADDR_SPACE_BITS gets removed from translate-all.c,
> > but then I decided to remove it all.
>
> A further justification for this:  The actual PAGE_RESERVED bit is 
> write-only; there is no other reference to this bit elsewhere.

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>