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>
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 }