On Fri, Feb 03, 2012 at 03:43:50PM -0200, Marcelo Tosatti wrote:
+ if (user_tsc_khz tsc_khz) {
+ vcpu-arch.tsc_catchup = 1;
+ vcpu-arch.tsc_always_catchup = 1;
+ } else
+ WARN(1, user requested TSC rate below
From: Zachary Amsden zams...@gmail.com
This requires some restructuring; rather than use 'virtual_tsc_khz'
to indicate whether hardware rate scaling is in effect, we consider
each VCPU to always have a virtual TSC rate. Instead, there is new
logic above the vendor-specific hardware scaling that