evmptr_is_valid
return evmptr_is_valid(vmx->nested.hv_evmcs_vmptr);
if (!evmptr_is_valid(evmcs_gpa)) {
!evmptr_is_valid(nested_get_evmptr(vcpu)))