Re: [RFC PATCH 09/14] exec/cpu: Restrict user-specific page definitions

[Philippe Mathieu-Daudé]

On 28/4/24 20:31, Richard Henderson wrote:
> On 4/27/24 08:57, Philippe Mathieu-Daudé wrote:
> > User-specific PAGE definitions shouldn't be used on system emulation.
> >
> > Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
> > ---
> >   include/exec/page-prot-common.h | 8 ++++++++
> >   1 file changed, 8 insertions(+)
>
> Come to that, PAGE_WRITE_INV is system only.
>
> Does this clarify or simply spread ifdefs around?
> They aren't particularly common at this point...

OK, I removed this patch, renamed as "exec/page-protection.h"
in previous patch and added an entry in the "Overall TCG CPUs"
section in MAINTAINERS.