[Xen-changelog] [xen-unstable] x86: time: tsc_set_info() must skip the idle domain.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir@xxxxxxx>
# Date 1291911310 0
# Node ID a04430925a8bc6595df7b8a304c0b4da3f47c7c2
# Parent  5ac189556629e2db96196b2556d870f7cefc959f
x86: time: tsc_set_info() must skip the idle domain.

Signed-off-by: Keir Fraser <keir@xxxxxxx>
---
 xen/arch/x86/time.c |    2 +-
 1 files changed, 1 insertion(+), 1 deletion(-)

diff -r 5ac189556629 -r a04430925a8b xen/arch/x86/time.c
--- a/xen/arch/x86/time.c       Thu Dec 09 10:09:59 2010 +0000
+++ b/xen/arch/x86/time.c       Thu Dec 09 16:15:10 2010 +0000
@@ -1779,7 +1779,7 @@ void tsc_set_info(struct domain *d,
                   uint32_t tsc_mode, uint64_t elapsed_nsec,
                   uint32_t gtsc_khz, uint32_t incarnation)
 {
-    if ( d->domain_id == 0 )
+    if ( is_idle_domain(d) || (d->domain_id == 0) )
     {
         d->arch.vtsc = 0;
         return;

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog