On 20/01/2017 16:00, Marcelo Tosatti wrote: >>> + system_counter->cs = get_kvmclock_cs(); >> >> Can't we use clocksource_tsc and just pass the tsc without kvmclock in >> the middle? > > No, it has to be the kvmclock value.
And that would be too tricky anyway. :) Paolo
