On 25/05/2015 16:06, Jan Kiszka wrote:
> static void pc_compat_2_3(MachineState *machine)
> {
> + x86_cpu_compat_set_features("Westmere", FEAT_6_EAX, 0, CPUID_6_EAX_ARAT);
> + x86_cpu_compat_set_features("SandyBridge", FEAT_6_EAX, 0,
> + CPUID_6_EAX_ARAT);
> + x86_cpu_compat_set_features("IvyBridge", FEAT_6_EAX, 0,
> CPUID_6_EAX_ARAT);
> + x86_cpu_compat_set_features("Haswell-noTSX", FEAT_6_EAX, 0,
> + CPUID_6_EAX_ARAT);
> + x86_cpu_compat_set_features("Haswell", FEAT_6_EAX, 0, CPUID_6_EAX_ARAT);
> + x86_cpu_compat_set_features("Broadwell-noTSC", FEAT_6_EAX, 0,
> + CPUID_6_EAX_ARAT);
noTSX.
Also, I think this doesn't cover Q35. Eduardo has patches to clean that
up so that (I think) less duplication is required.
Paolo
> + x86_cpu_compat_set_features("Broadwell", FEAT_6_EAX, 0,
> CPUID_6_EAX_ARAT);
> }
>
