On 18 January 2017 at 17:10, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > You enable vmware-cpuid-freq unconditionally. But then you actually > publish 0x40000010 only if INVTSC is set. Right, got it, thanks. What about the Hyper-V conflict? That will be vastly more probable if the option is on by default. Don't publish leaf 0x40000010, print the warning and carry on in this case (as the patch does at the moment)? -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html