nested_cpu_has_ept
if (nested_cpu_has_ept(vmcs12))
if (nested_vmx_load_cr3(vcpu, vmcs12->guest_cr3, nested_cpu_has_ept(vmcs12),
if (load_guest_pdptrs_vmcs12 && nested_cpu_has_ept(vmcs12) &&
if (nested_cpu_has_ept(vmcs12) &&
if (CC(!nested_cpu_has_ept(vmcs12)) ||
!nested_cpu_has_ept(vmcs12) && is_pae_paging(vcpu)) {
if (nested_cpu_has_ept(vmcs12) && is_pae_paging(vcpu)) {
if (WARN_ON_ONCE(!nested_cpu_has_ept(vmcs12)))
if (CC(!nested_cpu_has_ept(vmcs12)) ||
!nested_cpu_has_ept(vmcs12)))
!nested_cpu_has_ept(vmcs12)))