199 	if (vmx->nested.current_vmptr == INVALID_GPA &&  in nested_vmx_fail()
350 	vmx->nested.current_vmptr = INVALID_GPA;  in free_nested()
2141 		vmx->nested.current_vmptr = INVALID_GPA;  in nested_vmx_handle_enlightened_vmptrld()
3597 				 vmx->nested.current_vmptr,  in nested_vmx_enter_non_root_mode()
3770 	       vmx->nested.current_vmptr == INVALID_GPA))  in nested_vmx_run()
5562 	if (vmx->nested.current_vmptr == INVALID_GPA)  in nested_release_vmcs12()
5577 				  vmx->nested.current_vmptr >> PAGE_SHIFT,  in nested_release_vmcs12()
5582 	vmx->nested.current_vmptr = INVALID_GPA;  in nested_release_vmcs12()
5620 		if (vmptr == vmx->nested.current_vmptr)  in handle_vmclear()
5679 		if (vmx->nested.current_vmptr == INVALID_GPA ||  in handle_vmread()
5789 	if (vmx->nested.current_vmptr == INVALID_GPA ||  in handle_vmwrite()
5869 	vmx->nested.current_vmptr = vmptr;  in set_current_vmptr()
5903 	if (vmx->nested.current_vmptr != vmptr) {  in handle_vmptrld()
5955 	gpa_t current_vmptr = to_vmx(vcpu)->nested.current_vmptr;  in handle_vmptrst()  local
5970 	r = kvm_write_guest_virt_system(vcpu, gva, (void *)&current_vmptr,  in handle_vmptrst()
6777 		kvm_state.hdr.vmx.vmcs12_pa = vmx->nested.current_vmptr;  in vmx_get_nested_state()