Symbol: nested_get_vpid02
arch/x86/kvm/vmx/nested.c
6106
vpid02 = nested_get_vpid02(vcpu);
arch/x86/kvm/vmx/vmx.c
3311
return nested_get_vpid02(vcpu);