nested_get_vpid02 2368 arch/x86/kvm/vmx/nested.c 				__vmx_flush_tlb(vcpu, nested_get_vpid02(vcpu), false);
nested_get_vpid02 5005 arch/x86/kvm/vmx/nested.c 	vpid02 = nested_get_vpid02(vcpu);