__vmx_flush_tlb  2368 arch/x86/kvm/vmx/nested.c 				__vmx_flush_tlb(vcpu, nested_get_vpid02(vcpu), false);
__vmx_flush_tlb  5016 arch/x86/kvm/vmx/nested.c 			__vmx_flush_tlb(vcpu, vpid02, false);
__vmx_flush_tlb  5023 arch/x86/kvm/vmx/nested.c 		__vmx_flush_tlb(vcpu, vpid02, false);
__vmx_flush_tlb  5026 arch/x86/kvm/vmx/nested.c 		__vmx_flush_tlb(vcpu, vpid02, false);
__vmx_flush_tlb   506 arch/x86/kvm/vmx/vmx.h 	__vmx_flush_tlb(vcpu, to_vmx(vcpu)->vpid, invalidate_gpa);