- Update Xen patches to 3.4-rc3 and c/s 1172.

[linux-flexiantxendom0-3.2.10.git] / kernel / time / timekeeping.c

diff --git a/kernel/time/timekeeping.c b/kernel/time/timekeeping.c
index d66b213..925943f 100644 (file)
--- a/kernel/time/timekeeping.c
+++ b/kernel/time/timekeeping.c
@@ -20,6 +20,9 @@
 #include <linux/time.h>
 #include <linux/tick.h>
 #include <linux/stop_machine.h>
+#ifdef CONFIG_XEN_PRIVILEGED_GUEST
+#include <asm/time.h>
+#endif
 
 /* Structure holding internal timekeeping values. */
 struct timekeeper {
@@ -384,6 +387,9 @@ int do_settimeofday(const struct timespec *tv)
 
        timekeeper.xtime = *tv;
        timekeeping_update(true);
+#ifdef CONFIG_XEN_PRIVILEGED_GUEST
+       xen_update_wallclock(tv);
+#endif
 
        write_sequnlock_irqrestore(&timekeeper.lock, flags);