ia64/xen-unstable

changeset 18810:2f8b0e14143c

xen s3, No need to check idle vcpu before update_vcpu_system_time().

Signed-off-by: Kevin Tian <kevin.tian@intel.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Nov 19 12:52:03 2008 +0000 (2008-11-19)
parents 876bffced2b8
children 390ef36eb596
files xen/arch/x86/time.c
line diff
     1.1 --- a/xen/arch/x86/time.c	Wed Nov 19 12:48:31 2008 +0000
     1.2 +++ b/xen/arch/x86/time.c	Wed Nov 19 12:52:03 2008 +0000
     1.3 @@ -1244,8 +1244,7 @@ int time_resume(void)
     1.4  
     1.5      do_settime(get_cmos_time() + cmos_utc_offset, 0, NOW());
     1.6  
     1.7 -    if ( !is_idle_vcpu(current) )
     1.8 -        update_vcpu_system_time(current);
     1.9 +    update_vcpu_system_time(current);
    1.10  
    1.11      return 0;
    1.12  }