SECONDARY_EXEC_TSC_SCALING
SECONDARY_EXEC_TSC_SCALING;
[EVMCSv1_LEGACY] = EVMCS1_SUPPORTED_2NDEXEC & ~SECONDARY_EXEC_TSC_SCALING,
SECONDARY_EXEC_TSC_SCALING | \
if (nested_cpu_has2(vmcs12, SECONDARY_EXEC_TSC_SCALING) &&
if (nested_cpu_has2(vmcs12, SECONDARY_EXEC_TSC_SCALING))
SECONDARY_EXEC_TSC_SCALING |
nested_cpu_has2(vmcs12, SECONDARY_EXEC_TSC_SCALING))
if (secondary_exec_control & SECONDARY_EXEC_TSC_SCALING)
SECONDARY_EXEC_TSC_SCALING | \
control |= SECONDARY_EXEC_TSC_SCALING;