--- arch/x86/kernel/pvclock.c

+++ arch/x86/kernel/pvclock.c

@@ -111,6 +111,11 @@ unsigned long pvclock_tsc_khz(struct pvc

static atomic64_t last_value = ATOMIC64_INIT(0);

+void pvclock_resume(void)

+{

+ atomic64_set(&last_value, 0);

+}

+

cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src)

{

struct pvclock_shadow_time shadow;