From: Keir Fraser <keir@xen.org>
Date: Thu, 9 Dec 2010 16:15:10 +0000 (+0000)
Subject: x86: time: tsc_set_info() must skip the idle domain.
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d34920f300efb17a1cbd5dc3fefd0d949d529ba1;p=xen.git

x86: time: tsc_set_info() must skip the idle domain.

Signed-off-by: Keir Fraser <keir@xen.org>
---

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index b28d6c0b83..d57a9cb518 100644
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -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;