Symbol: vmx_flush_tlb_gva
arch/x86/kvm/vmx/main.c
538
vmx_flush_tlb_gva(vcpu, addr);
arch/x86/kvm/vmx/x86_ops.h
84
void vmx_flush_tlb_gva(struct kvm_vcpu *vcpu, gva_t addr);