>>> On 14.10.15 at 12:00, <haozhong.zh...@intel.com> wrote: > Sounds reasonable. A better patch 2 may look like > > - *gtsc_khz = cpu_khz; > + if ( is_hvm_domain(d) && cpu_has_tsc_ratio ) > + *gtsc_khz = d->arch.tsc_khz; > + else > + *gtsc_khz = cpu_khz; > > which gets d->arch.tsc_khz only if TSC ratio is used, otherwise it > follows the existing behavior.
Except that it needs to use has_hvm_container_domain() (again to match tsc_set_info()). Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
