180 	if (to_vmx(vcpu)->nested.hv_evmcs_vmptr != EVMPTR_INVALID)  in nested_vmx_failValid()
195 	    !evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in nested_vmx_fail()
229 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)) {  in nested_release_evmcs()
234 	vmx->nested.hv_evmcs_vmptr = EVMPTR_INVALID;  in nested_release_evmcs()
1996 	if (unlikely(evmcs_gpa != vmx->nested.hv_evmcs_vmptr)) {  in nested_vmx_handle_enlightened_vmptrld()
2035 		vmx->nested.hv_evmcs_vmptr = evmcs_gpa;  in nested_vmx_handle_enlightened_vmptrld()
2067 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in nested_sync_vmcs12_to_shadow()
2216 	if (vmx->nested.dirty_vmcs12 || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in prepare_vmcs02_early()
2508 	if (vmx->nested.dirty_vmcs12 || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)) {  in prepare_vmcs02()
2512 		load_guest_pdptrs_vmcs12 = !evmptr_is_valid(vmx->nested.hv_evmcs_vmptr) ||  in prepare_vmcs02()
2638 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in prepare_vmcs02()
3132 	    vmx->nested.hv_evmcs_vmptr == EVMPTR_MAP_PENDING) {  in nested_get_evmcs_page()
3501 	if (enable_shadow_vmcs || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in nested_vmx_enter_non_root_mode()
3529 	if (CC(!evmptr_is_valid(vmx->nested.hv_evmcs_vmptr) &&  in nested_vmx_run()
3544 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)) {  in nested_vmx_run()
4103 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in sync_vmcs02_to_vmcs12()
4107 		!evmptr_is_valid(vmx->nested.hv_evmcs_vmptr);  in sync_vmcs02_to_vmcs12()
4607 	    (enable_shadow_vmcs || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)))  in nested_vmx_vmexit()
5055 	} else if (vmx->nested.hv_evmcs && vmptr == vmx->nested.hv_evmcs_vmptr) {  in handle_vmclear()
5298 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in handle_vmptrld()
5354 	if (unlikely(evmptr_is_valid(to_vmx(vcpu)->nested.hv_evmcs_vmptr)))  in handle_vmptrst()
6131 			if (vmx->nested.hv_evmcs_vmptr != EVMPTR_INVALID)  in vmx_get_nested_state()
6187 			if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in vmx_get_nested_state()
6337 		vmx->nested.hv_evmcs_vmptr = EVMPTR_MAP_PENDING;  in vmx_set_nested_state()