Re: [PATCH v2 2/3] KVM: x86: Provide TSC frequency in "generic" timing infomation CPUID leaf

[Sean Christopherson]

On Tue, Dec 16, 2025, Doug Covelli wrote:
> On Tue, Dec 16, 2025 at 3:27 PM Sean Christopherson <seanjc@xxxxxxxxxx> wrote:
> >
> > +Doug and Zach
> >
> > VMware folks, TL;DR question for you:
> >
> >   Does VMware report TSC and APIC bus frequency in CPUID 0x40000010.{EAX,EBX},
> >   or at the very least pinky swear not to use those outputs for anything else?
> 
> Yes, all 32-bits of 0x40000010.EAX is for TSC frequency and all
> 32-bits of 0x40000010.EBX is for APIC bus frequency.

Nice, thanks much for the confirmation and quick response!