diff --git a/sys/dev/xen/timer/timer.c b/sys/dev/xen/timer/timer.c index 996399bd52f7..0b26847b399d 100644 --- a/sys/dev/xen/timer/timer.c +++ b/sys/dev/xen/timer/timer.c @@ -477,6 +477,9 @@ xentimer_resume(device_t dev) /* Reset the last uptime value */ pvclock_resume(); + /* Reset the RTC clock */ + inittodr(time_second); + /* Kick the timers on all CPUs */ smp_rendezvous(NULL, xentimer_percpu_resume, NULL, dev);