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