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

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

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

{

int cpu;

- pvclock_resume();

-

if (xen_clockevent != &xen_vcpuop_clockevent)

return;