On 09/30/2009 05:56 AM, Avi Kivity wrote:
On 09/30/2009 05:51 PM, Zachary Amsden wrote:
If the API allows us to query the tsc frequency, it would simply
return the same values in all cases, which we'd ignore.
The API only allows querying the processor frequency. In the
constant_tsc case, the highest processor frequency is likely going to be
the actual TSC frequency, but I don't think it's a guarantee;
theoretically, it could be faster on normal hardware ... or slower on
overclocked hardware with an externally clocked TSC.
Zach
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
