When performing the Set/Way cache maintainance operations, it is important to make sure the operation completes by issueing a DSB. Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> --- arch/arm/kvm/coproc.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/arch/arm/kvm/coproc.c b/arch/arm/kvm/coproc.c index 4a51990..9e6bef4 100644 --- a/arch/arm/kvm/coproc.c +++ b/arch/arm/kvm/coproc.c @@ -106,6 +106,8 @@ static bool access_dcsw(struct kvm_vcpu *vcpu, break; } + dsb(); + done: put_cpu(); -- 1.8.2.3 _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
