SECONDARY_EXEC_ENABLE_EPT
SECONDARY_EXEC_ENABLE_EPT;
SECONDARY_EXEC_ENABLE_EPT | \
vmcs12->secondary_vm_exec_control & SECONDARY_EXEC_ENABLE_EPT,
SECONDARY_EXEC_ENABLE_EPT) ||
SECONDARY_EXEC_ENABLE_EPT;
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_EPT);
if (!(_cpu_based_2nd_exec_control & SECONDARY_EXEC_ENABLE_EPT) &&
exec_control &= ~SECONDARY_EXEC_ENABLE_EPT;
if ((secondary_exec_control & SECONDARY_EXEC_ENABLE_EPT))
SECONDARY_EXEC_ENABLE_EPT | \
sec_exec_ctl |= SECONDARY_EXEC_ENABLE_EPT;
return ctrl & SECONDARY_EXEC_ENABLE_EPT;