On Sat, 1 Oct 2022 at 18:04, Richard Henderson
<richard.hender...@linaro.org> 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 <m...@kernel.org>
> Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
> ---
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>
thanks
-- PMM
