summaryrefslogtreecommitdiffstats
path: root/arch
diff options
context:
space:
mode:
authorMarcelo Tosatti <mtosatti@redhat.com>2008-10-15 07:45:08 -0200
committerAvi Kivity <avi@redhat.com>2008-10-28 14:09:27 +0200
commit6ad9f15c94822c3f067a7d443f3b414e08b34460 (patch)
tree320d4c110bc5d14134d705ebb6b64bb428833254 /arch
parent49fdf6785fd660e18a1eb4588928f47e9fa29a9a (diff)
downloadlinux-6ad9f15c94822c3f067a7d443f3b414e08b34460.tar.gz
linux-6ad9f15c94822c3f067a7d443f3b414e08b34460.tar.bz2
linux-6ad9f15c94822c3f067a7d443f3b414e08b34460.zip
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>
Diffstat (limited to 'arch')
-rw-r--r--arch/x86/kvm/mmu.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/kvm/mmu.c b/arch/x86/kvm/mmu.c
index 99c239c5c0ac..2a5e64881d9b 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;
}