On 10/01/2019 16:34, Boris Ostrovsky wrote: > On 1/10/19 5:07 AM, Juergen Gross wrote: >> >> +void xen_clocksource_suspend(void) >> +{ >> + xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset; > > > xen_clock_value_saved = xen_sched_clock() maybe? I wanted xen_clocksource_suspend() and xen_clocksource_resume() to be symmetrical to each other. In case you are feeling strong about that, I'm not. :-) So in case you insist on it I can change it. Or you can do so while committing. Juergen