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

Signed-off-by: Kevin Tian <kevin.tian@intel.com>

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index ceb360e4d459122c4141f240ab4a2b5ae95c0374..806045a3591f75be9a1e0cf04aed2d5efa6413cd 100644 (file)
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -1244,8 +1244,7 @@ int time_resume(void)
 
     do_settime(get_cmos_time() + cmos_utc_offset, 0, NOW());
 
-    if ( !is_idle_vcpu(current) )
-        update_vcpu_system_time(current);
+    update_vcpu_system_time(current);
 
     return 0;
 }