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 -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html