* Nikunj A. Dadhania <nik...@linux.vnet.ibm.com> [2012-04-27 21:54:37]:
> @@ -1549,6 +1549,11 @@ static void kvm_set_vcpu_state(struct kvm_vcpu *vcpu)
> return;
>
> vs->state = 1;
> + if (vs->flush_on_enter) {
> + kvm_mmu_flush_tlb(vcpu);
> + vs->flush_on_enter = 0;
> + }
> +
> kvm_write_guest_cached(vcpu->kvm, ghc, vs, 2*sizeof(__u32));
Reading flush_on_enter before writing ->state (=1) is racy afaics (and
may cause vcpu to miss a TLB flush request).
- vatsa
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
