Symbol: vmx_flush_tlb_guest
arch/x86/kvm/vmx/main.c
546
vmx_flush_tlb_guest(vcpu);
arch/x86/kvm/vmx/x86_ops.h
85
void vmx_flush_tlb_guest(struct kvm_vcpu *vcpu);