SECONDARY_EXEC_MODE_BASED_EPT_EXEC
SECONDARY_EXEC_MODE_BASED_EPT_EXEC;
SECONDARY_EXEC_MODE_BASED_EPT_EXEC | \
if (CC(nested_cpu_has2(vmcs12, SECONDARY_EXEC_MODE_BASED_EPT_EXEC) &&
SECONDARY_EXEC_MODE_BASED_EPT_EXEC |
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_MODE_BASED_EPT_EXEC);
SECONDARY_EXEC_MODE_BASED_EPT_EXEC;
_cpu_based_2nd_exec_control &= ~SECONDARY_EXEC_MODE_BASED_EPT_EXEC;
_cpu_based_2nd_exec_control &= ~SECONDARY_EXEC_MODE_BASED_EPT_EXEC;
exec_control &= ~SECONDARY_EXEC_MODE_BASED_EPT_EXEC;
SECONDARY_EXEC_MODE_BASED_EPT_EXEC | \