182 	if (to_vmx(vcpu)->nested.hv_evmcs_vmptr != EVMPTR_INVALID)  in nested_vmx_failValid()
197 	    !evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in nested_vmx_fail()
232 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)) {  in nested_release_evmcs()
237 	vmx->nested.hv_evmcs_vmptr = EVMPTR_INVALID;  in nested_release_evmcs()
2017 	if (unlikely(evmcs_gpa != vmx->nested.hv_evmcs_vmptr)) {  in nested_vmx_handle_enlightened_vmptrld()
2056 		vmx->nested.hv_evmcs_vmptr = evmcs_gpa;  in nested_vmx_handle_enlightened_vmptrld()
2091 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in nested_sync_vmcs12_to_shadow()
2245 	if (vmx->nested.dirty_vmcs12 || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in prepare_vmcs02_early()
2540 	if (vmx->nested.dirty_vmcs12 || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)) {  in prepare_vmcs02()
2544 		load_guest_pdptrs_vmcs12 = !evmptr_is_valid(vmx->nested.hv_evmcs_vmptr) ||  in prepare_vmcs02()
2667 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in prepare_vmcs02()
3174 	    vmx->nested.hv_evmcs_vmptr == EVMPTR_MAP_PENDING) {  in nested_get_evmcs_page()
3541 	if (enable_shadow_vmcs || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in nested_vmx_enter_non_root_mode()
3572 	if (CC(!evmptr_is_valid(vmx->nested.hv_evmcs_vmptr) &&  in nested_vmx_run()
3587 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)) {  in nested_vmx_run()
4332 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in sync_vmcs02_to_vmcs12()
4336 		!evmptr_is_valid(vmx->nested.hv_evmcs_vmptr);  in sync_vmcs02_to_vmcs12()
4857 	    (enable_shadow_vmcs || evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)))  in nested_vmx_vmexit()
5323 	} else if (vmx->nested.hv_evmcs && vmptr == vmx->nested.hv_evmcs_vmptr) {  in handle_vmclear()
5363 	if (!evmptr_is_valid(vmx->nested.hv_evmcs_vmptr)) {  in handle_vmread()
5589 	if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in handle_vmptrld()
5652 	if (unlikely(evmptr_is_valid(to_vmx(vcpu)->nested.hv_evmcs_vmptr)))  in handle_vmptrst()
6438 			if (vmx->nested.hv_evmcs_vmptr != EVMPTR_INVALID)  in vmx_get_nested_state()
6494 			if (evmptr_is_valid(vmx->nested.hv_evmcs_vmptr))  in vmx_get_nested_state()
6642 		vmx->nested.hv_evmcs_vmptr = EVMPTR_MAP_PENDING;  in vmx_set_nested_state()