From c4d2da457ce1ba804b2337729943bd7c052e8775 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 8 Aug 2008 12:08:09 +0100 Subject: [PATCH] x86: Update guest timestamps on frequency change. Signed-off-by: Keir Fraser --- xen/arch/x86/time.c | 2 ++ 1 file changed, 2 insertions(+) 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 ) { -- 2.30.2