WHPX: vmware cpuid leaf for tsc and apic frequency
commit5c8e1e832822f2e5bc630864a77eea40ee520a4f
authorSunil Muthuswamy <sunilmut@microsoft.com>
Thu, 30 Jul 2020 22:11:26 +0000 (30 22:11 +0000)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 30 Sep 2020 17:09:19 +0000 (30 19:09 +0200)
tree431b0e8f4ee6b0e9535e9dbc01c949d2fa78b29c
parent8fe11232c8ad0fecbfab0ea804bfdef0bbec0da7
WHPX: vmware cpuid leaf for tsc and apic frequency

Newer versions of WHPX provide the capability to query the tsc
and apic frequency. Expose these through the vmware cpuid leaf.
This patch doesnt support setting the tsc frequency; that will
come as a separate fix.

Signed-off-by: Sunil Muthuswamy <sunilmut@microsoft.com>
Message-Id: <SN4PR2101MB08808DFDDC3F442BBEAADFF4C0710@SN4PR2101MB0880.namprd21.prod.outlook.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
target/i386/whp-dispatch.h
target/i386/whpx-all.c