#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 {
update_vsyscall(&xtime, &wall_to_monotonic, timekeeper.clock,
timekeeper.mult);
+#ifdef CONFIG_XEN_PRIVILEGED_GUEST
+ xen_update_wallclock(tv);
+#endif
write_sequnlock_irqrestore(&xtime_lock, flags);