Symbol: VE_INFORMATION_ADDRESS
arch/x86/kvm/vmx/nested.c
2300
vmcs_write64(VE_INFORMATION_ADDRESS, __pa(vmx->ve_info));
arch/x86/kvm/vmx/vmx.c
4956
vmcs_write64(VE_INFORMATION_ADDRESS,
arch/x86/kvm/vmx/vmx.c
6759
u64 ve_info_pa = vmcs_read64(VE_INFORMATION_ADDRESS);