On Wed, 2 Aug 2023 at 18:02, Jean-Philippe Brucker <jean-phili...@linaro.org> wrote: > > When HCR_EL2.E2H is enabled, TLB entries are formed using the EL2&0 > translation regime, instead of the EL2 translation regime. The TLB VAE2* > instructions invalidate the regime that corresponds to the current value > of HCR_EL2.E2H. > > At the moment we only invalidate the EL2 translation regime. This causes > problems with RMM, which issues TLBI VAE2IS instructions with > HCR_EL2.E2H enabled. Update vae2_tlbmask() to take HCR_EL2.E2H into > account. > > Add vae2_tlbbits() as well, since the top-byte-ignore configuration is > different between the EL2&0 and EL2 regime. > > Signed-off-by: Jean-Philippe Brucker <jean-phili...@linaro.org> > ---
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM