On Sat, Apr 08, 2023 at 05:04:27PM +0100, Marc Zyngier wrote: > __kvm_vcpu_run_vhe() end on VHE with an isb(). However, this > function is only reachable via kvm_call_hyp_ret(), which already > contains an isb() in order to mimick the behaviour of nVHE and > provide a context synchronisation event. > > We thus have two isb()s back to back, which is one too many. > Drop the first one and solely rely on the one in the helper. > > Signed-off-by: Marc Zyngier <maz@xxxxxxxxxx> Reviewed-by: Oliver Upton <oliver.upton@xxxxxxxxx> -- Thanks, Oliver
