On Mon, Feb 27, 2017 at 03:24:37PM +0000, Marc Zyngier wrote: > When invalidating guest TLBs, special care must be taken to > actually shoot the guest TLBs and not the host ones if we're > running on a VHE system. This is controlled by the HCR_EL2.TGE > bit, which we forget to clear before invalidating TLBs. > > Address the issue by introducing two wrappers (__tlb_switch_to_guest > and __tlb_switch_to_host) that take care of both the VTTBR_EL2 > and HCR_EL2.TGE switching. > > Reported-by: Tomasz Nowicki <tnowicki@xxxxxxxxxxxxxxxxxx> > Tested-by: Tomasz Nowicki <tnowicki@xxxxxxxxxxxxxxxxxx> > Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> Reviewed-by: Christoffer Dall <cdall@xxxxxxxxxx>
