From: Avi Kivity Signed-off-by: Avi Kivity Signed-off-by: Andrew Morton --- drivers/kvm/kvm.h | 5 ----- drivers/kvm/kvm_main.c | 2 +- 2 files changed, 1 insertion(+), 6 deletions(-) diff -puN drivers/kvm/kvm.h~kvm-use-the-tlb-flush-arch-operation-instead-of-an drivers/kvm/kvm.h --- a/drivers/kvm/kvm.h~kvm-use-the-tlb-flush-arch-operation-instead-of-an +++ a/drivers/kvm/kvm.h @@ -445,11 +445,6 @@ static inline int is_external_interrupt( == (INTR_TYPE_EXT_INTR | INTR_INFO_VALID_MASK); } -static inline void flush_guest_tlb(struct kvm_vcpu *vcpu) -{ - vmcs_writel(GUEST_CR3, vmcs_readl(GUEST_CR3)); -} - static inline int memslot_id(struct kvm *kvm, struct kvm_memory_slot *slot) { return slot - kvm->memslots; diff -puN drivers/kvm/kvm_main.c~kvm-use-the-tlb-flush-arch-operation-instead-of-an drivers/kvm/kvm_main.c --- a/drivers/kvm/kvm_main.c~kvm-use-the-tlb-flush-arch-operation-instead-of-an +++ a/drivers/kvm/kvm_main.c @@ -775,7 +775,7 @@ static int kvm_dev_ioctl_get_dirty_log(s if (!vcpu) continue; - flush_guest_tlb(vcpu); + kvm_arch_ops->flush_tlb(vcpu); vcpu_put(vcpu); } } _