Re: [PATCH] xen: Fix x86 sched_clock() interface for xen
From: Boris Ostrovsky
Date: Thu Jan 10 2019 - 10:34:47 EST
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