Currently, both WHPX and KVM support guest TSC scaling, but virt86 doesn't apply them.
WHPX: set the ProcessorClockFrequency field in the WHV_PARTITION_PROPERTY structure while setting up the partition. TSC scaling is supported since Insider Preview 19H2 (check exact version number).
KVM: check for KVM_CAP_TSC_CONTROL capability. Use KVM_SET_TSC_KHZ to apply the desired TSC frequency.
Currently, both WHPX and KVM support guest TSC scaling, but virt86 doesn't apply them.
WHPX: set the
ProcessorClockFrequencyfield in theWHV_PARTITION_PROPERTYstructure while setting up the partition. TSC scaling is supported since Insider Preview 19H2 (check exact version number).KVM: check for
KVM_CAP_TSC_CONTROLcapability. UseKVM_SET_TSC_KHZto apply the desired TSC frequency.