Symbol: vmx_switch_loaded_vmcs
arch/x86/kvm/vmx/vmx.c
1625
vmx_switch_loaded_vmcs(vcpu, &vmx->vmcs01);
arch/x86/kvm/vmx/vmx.c
1633
vmx_switch_loaded_vmcs(vcpu, &to_vmx(vcpu)->nested.vmcs02);