Symbol: set_current_vmptr
arch/x86/kvm/vmx/nested.c
5936
set_current_vmptr(vmx, vmptr);
arch/x86/kvm/vmx/nested.c
6994
set_current_vmptr(vmx, kvm_state->hdr.vmx.vmcs12_pa);