Re: [PATCH] xen: Fix x86 sched_clock() interface for xen

[Boris Ostrovsky]

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