Symbol: vmx_flush_tlb_current
arch/x86/kvm/vmx/main.c
530
vmx_flush_tlb_current(vcpu);
arch/x86/kvm/vmx/x86_ops.h
83
void vmx_flush_tlb_current(struct kvm_vcpu *vcpu);