On Sun, 3 Jul 2022 at 09:35, Richard Henderson <richard.hender...@linaro.org> wrote: > > We have now moved all uses to PageEntryExtra. > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org> > ---
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM
