set_current_vmptr 4867 arch/x86/kvm/vmx/nested.c 		set_current_vmptr(vmx, vmptr);
set_current_vmptr 5704 arch/x86/kvm/vmx/nested.c 		set_current_vmptr(vmx, kvm_state->hdr.vmx.vmcs12_pa);