194 	if (vmx->nested.current_vmptr == -1ull &&  in nested_vmx_fail()
295 	vmx->nested.current_vmptr = -1ull;  in free_nested()
1997 		vmx->nested.current_vmptr = -1ull;  in nested_vmx_handle_enlightened_vmptrld()
3530 	       vmx->nested.current_vmptr == -1ull))  in nested_vmx_run()
4978 	if (vmx->nested.current_vmptr == -1ull)  in nested_release_vmcs12()
4993 				  vmx->nested.current_vmptr >> PAGE_SHIFT,  in nested_release_vmcs12()
4998 	vmx->nested.current_vmptr = -1ull;  in nested_release_vmcs12()
5048 		if (vmptr == vmx->nested.current_vmptr)  in handle_vmclear()
5096 	if (vmx->nested.current_vmptr == -1ull ||  in handle_vmread()
5188 	if (vmx->nested.current_vmptr == -1ull ||  in handle_vmwrite()
5268 	vmx->nested.current_vmptr = vmptr;  in set_current_vmptr()
5301 	if (vmx->nested.current_vmptr != vmptr) {  in handle_vmptrld()
5346 	gpa_t current_vmptr = to_vmx(vcpu)->nested.current_vmptr;  in handle_vmptrst()  local
5361 	r = kvm_write_guest_virt_system(vcpu, gva, (void *)&current_vmptr,  in handle_vmptrst()
6125 		kvm_state.hdr.vmx.vmcs12_pa = vmx->nested.current_vmptr;  in vmx_get_nested_state()