diff options
author | Marcelo Tosatti <mtosatti@redhat.com> | 2008-10-15 07:45:08 -0200 |
---|---|---|
committer | Avi Kivity <avi@redhat.com> | 2008-10-28 14:09:27 +0200 |
commit | 6ad9f15c94822c3f067a7d443f3b414e08b34460 (patch) | |
tree | 320d4c110bc5d14134d705ebb6b64bb428833254 | |
parent | 49fdf6785fd660e18a1eb4588928f47e9fa29a9a (diff) | |
download | op-kernel-dev-6ad9f15c94822c3f067a7d443f3b414e08b34460.zip op-kernel-dev-6ad9f15c94822c3f067a7d443f3b414e08b34460.tar.gz |
KVM: MMU: sync root on paravirt TLB flush
The pvmmu TLB flush handler should request a root sync, similarly to
a native read-write CR3.
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
-rw-r--r-- | arch/x86/kvm/mmu.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/kvm/mmu.c b/arch/x86/kvm/mmu.c index 99c239c..2a5e648 100644 --- a/arch/x86/kvm/mmu.c +++ b/arch/x86/kvm/mmu.c @@ -2634,6 +2634,7 @@ static int kvm_pv_mmu_write(struct kvm_vcpu *vcpu, static int kvm_pv_mmu_flush_tlb(struct kvm_vcpu *vcpu) { kvm_x86_ops->tlb_flush(vcpu); + set_bit(KVM_REQ_MMU_SYNC, &vcpu->requests); return 1; } |