No need to check idle vcpu, as update_vcpu_system_time
already checks v->vcpu_info which is null for idle one.
Signed-off-by Kevin Tian <kevin.tian@intel.com>
diff -r df226bb1e95d xen/arch/x86/time.c
--- a/xen/arch/x86/time.c Wed Nov 19 02:03:00 2008 +0800
+++ b/xen/arch/x86/time.c Wed Nov 19 02:04:10 2008 +0800
@@ -1239,8 +1239,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;
}
Thanks,
Kevin
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel