On 18/01/2017 17:16, Phil Dennis-Jordan wrote: > On 18 January 2017 at 17:10, Paolo Bonzini <[email protected]> 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)?
Probably it's simplest to remove the warning altogether. Paolo
