On 11/01/2019 21:35, Boris Ostrovsky wrote:
> On 1/11/19 7:08 AM, Juergen Gross wrote:
>> @@ -421,6 +424,11 @@ void xen_restore_time_memory_area(void)
>> if (ret != 0)
>> pr_notice("Cannot restore secondary vcpu_time_info (err %d)",
>> ret);
>> +
>> +out:
>> + /* Need pvclock_resume() before using xen_clocksource_read(). */
>> + pvclock_resume();
>
> Do we want to drop it from xen_timer_resume then?Yes. V3 on its way... Juergen
