Re: [PATCH v2 2/3] KVM: x86: Provide TSC frequency in "generic" timing infomation CPUID leaf
From: Doug Covelli
Date: Tue Dec 16 2025 - 16:10:34 EST
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.
Doug
Attachment:
smime.p7s
Description: S/MIME Cryptographic Signature