On Fri, 27 May 2022 at 19:13, Richard Henderson <richard.hender...@linaro.org> wrote: > > The ARM pseudocode function NVL uses this predicate now, > and I think it's a bit clearer. Simplify the pseudocode > condition by noting that IsInHost is always false for EL1. > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM