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

[Juergen Gross]

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