On Wed, 22 Feb 2023 at 02:34, Richard Henderson
<richard.hender...@linaro.org> wrote:
>
> Integrate neighboring code from get_phys_addr_lpae which computed
> starting level, as it is easier to validate when doing both at the
> same time. Mirror the checks at the start of AArch{64,32}.S2Walk,
> especially S2InvalidSL and S2InconsistentSL.
>
> This reverts 49ba115bb74, which was incorrect -- there is nothing
> in the ARM pseudocode that depends on TxSZ, i.e. outputsize; the
> pseudocode is consistent in referencing PAMax.
>
> Fixes: 49ba115bb74 ("target/arm: Pass outputsize down to check_s2_mmu_setup")
> Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>
thanks
-- PMM
