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 94eb65a3daf6d273d61af5cb1c4c8fd4d6eb7e93..74c9d04327af30450123d9c9913f97774de02511 100644 (file)
--- 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 )
     {