vmx_flush_tlb    2387 arch/x86/kvm/vmx/nested.c 		vmx_flush_tlb(vcpu, true);
vmx_flush_tlb    4135 arch/x86/kvm/vmx/nested.c 		vmx_flush_tlb(vcpu, true);
vmx_flush_tlb    6063 arch/x86/kvm/vmx/vmx.c 			vmx_flush_tlb(vcpu, true);
vmx_flush_tlb    6081 arch/x86/kvm/vmx/vmx.c 		vmx_flush_tlb(vcpu, true);
vmx_flush_tlb    7836 arch/x86/kvm/vmx/vmx.c 	.tlb_flush = vmx_flush_tlb,