ia64/xen-unstable

changeset 15329:112703751b19

x86: Fix time_resume() to notify all domains of wallclock change.
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@localhost.localdomain
date Tue Jun 12 09:22:06 2007 +0100 (2007-06-12)
parents de47ca8be7fe
children 9766af047b6c
files xen/arch/x86/time.c
line diff
     1.1 --- a/xen/arch/x86/time.c	Mon Jun 11 15:50:35 2007 +0100
     1.2 +++ b/xen/arch/x86/time.c	Tue Jun 12 09:22:06 2007 +0100
     1.3 @@ -957,14 +957,12 @@ int time_suspend(void)
     1.4  
     1.5  int time_resume(void)
     1.6  {
     1.7 -    u64 now_sec, tmp = init_pit_and_calibrate_tsc();
     1.8 +    u64 tmp = init_pit_and_calibrate_tsc();
     1.9  
    1.10      set_time_scale(&this_cpu(cpu_time).tsc_scale, tmp);
    1.11  
    1.12      resume_platform_timer();
    1.13 -    now_sec = read_platform_stime();
    1.14 -    do_div(now_sec, SECONDS(1));
    1.15 -    wc_sec = get_cmos_time() - now_sec;
    1.16 +    do_settime(get_cmos_time(), 0, read_platform_stime());
    1.17  
    1.18      init_percpu_time();
    1.19