From: Keir Fraser <keir.fraser@citrix.com>
Date: Fri, 8 Aug 2008 11:08:09 +0000 (+0100)
Subject: x86: Update guest timestamps on frequency change.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14159^2~2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c4d2da457ce1ba804b2337729943bd7c052e8775;p=xen.git

x86: Update guest timestamps on frequency change.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
---

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index 94eb65a3da..74c9d04327 100644
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -802,6 +802,8 @@ int cpu_frequency_change(u64 freq)
     set_time_scale(&t->tsc_scale, freq);
     local_irq_enable();
 
+    update_vcpu_system_time(current);
+
     /* A full epoch should pass before we check for deviation. */
     if ( smp_processor_id() == 0 )
     {