Add support for obtaining TSC frequency from VMWare
When running as a VMWare guest, if CPUID leaf 0x40000010 exists, it provides:
EAX: TSC frequency (in kHz)
EBX: APIC frequency (in kHz)
Additionally, there is also a VMWare call
VMWARE_HVCMD_GETTSCFREQ that returns the TSC frequency as a 64-bit int (split into two 32-bit values) for older VMWare versions.
We should support using these mechanisms for setting the TSC frequency (when present)
No data to display