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? 

-boris



_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to