On Sat, 1 Oct 2022 at 18:04, Richard Henderson <[email protected]> wrote: > > We had only been reporting the stage2 page size. This causes > problems if stage1 is using a larger page size (16k, 2M, etc), > but stage2 is using a smaller page size, because cputlb does > not set large_page_{addr,mask} properly. > > Fix by using the max of the two page sizes. > > Reported-by: Marc Zyngier <[email protected]> > Signed-off-by: Richard Henderson <[email protected]> > ---
Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
