kvm/vmx/nested.c

870 	if (CC(!nested_cpu_has_ept(vmcs12)) ||
881 	       !nested_cpu_has_ept(vmcs12)))
890 	       !nested_cpu_has_ept(vmcs12)))
2655 	if (nested_cpu_has_ept(vmcs12))
2689 	if (nested_vmx_load_cr3(vcpu, vmcs12->guest_cr3, nested_cpu_has_ept(vmcs12),
2704 	if (load_guest_pdptrs_vmcs12 && nested_cpu_has_ept(vmcs12) &&
2833 	if (nested_cpu_has_ept(vmcs12) &&
2843 			if (CC(!nested_cpu_has_ept(vmcs12)) ||
3264 	    !nested_cpu_has_ept(vmcs12) && is_pae_paging(vcpu)) {
4443 		if (nested_cpu_has_ept(vmcs12) && is_pae_paging(vcpu)) {
5906 	if (WARN_ON_ONCE(!nested_cpu_has_ept(vmcs12)))