Re: [PATCH 07/14] target/arm: return the stage 2 index for stage 1

[Richard Henderson]

On 11/2/20 2:57 AM, remi.denis.courm...@huawei.com wrote:
> +        if (s2_mmu_idx != NULL)
> +            *s2_mmu_idx = ARMMMUIdx_Stage2;

Missing braces.  Otherwise,

Reviewed-by: Richard Henderson <richard.hender...@linaro.org>


r~