diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-08-08 12:08:09 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-08-08 12:08:09 +0100 |
commit | c4d2da457ce1ba804b2337729943bd7c052e8775 (patch) | |
tree | 974e0e69674d6ca68acfe63507b367bb9feebb79 | |
parent | 36444aeb04312f204bac7d1caa39aad62eadea4c (diff) | |
download | xen-c4d2da457ce1ba804b2337729943bd7c052e8775.tar.gz xen-c4d2da457ce1ba804b2337729943bd7c052e8775.tar.bz2 xen-c4d2da457ce1ba804b2337729943bd7c052e8775.zip |
x86: Update guest timestamps on frequency change.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
-rw-r--r-- | xen/arch/x86/time.c | 2 |
1 files changed, 2 insertions, 0 deletions
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 ) { |