--- arch/x86/xen/time.c

+++ arch/x86/xen/time.c

@@ -424,6 +424,8 @@ void xen_timer_resume(void)

{

int cpu;

+ pvclock_resume();

+

if (xen_clockevent != &xen_vcpuop_clockevent)

return;