On Fri, 14 Dec 2018 at 05:24, Richard Henderson <richard.hender...@linaro.org> wrote: > > While we could expose stage_1_mmu_idx, the combination is > probably going to be more useful. > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM