nested_vmx_is_evmptr12_valid
!nested_vmx_is_evmptr12_valid(vmx))
if (nested_vmx_is_evmptr12_valid(vmx))
if (vmx->nested.dirty_vmcs12 || nested_vmx_is_evmptr12_valid(vmx))
if (vmx->nested.dirty_vmcs12 || nested_vmx_is_evmptr12_valid(vmx)) {
load_guest_pdptrs_vmcs12 = !nested_vmx_is_evmptr12_valid(vmx) ||
if (nested_vmx_is_evmptr12_valid(vmx))
if (enable_shadow_vmcs || nested_vmx_is_evmptr12_valid(vmx))
if (CC(!nested_vmx_is_evmptr12_valid(vmx) &&
if (nested_vmx_is_evmptr12_valid(vmx)) {
if (nested_vmx_is_evmptr12_valid(vmx))
!nested_vmx_is_evmptr12_valid(vmx);
(enable_shadow_vmcs || nested_vmx_is_evmptr12_valid(vmx)))
if (!nested_vmx_is_evmptr12_valid(vmx)) {
if (nested_vmx_is_evmptr12_valid(vmx))
if (unlikely(nested_vmx_is_evmptr12_valid(to_vmx(vcpu))))
if (nested_vmx_is_evmptr12_valid(vmx))