x86: Simplify tsc_set_info() slightly -- no domain has id DOMID_INVALID.

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

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index 56e16e65c10ec70e5a7f07899d747a71f73d80ac..b28d6c0b83ddc6528841bf4446b35e1737dbde8c 100644 (file)
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -1779,11 +1779,12 @@ 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 || d->domain_id == DOMID_INVALID )
+    if ( d->domain_id == 0 )
     {
         d->arch.vtsc = 0;
         return;
     }
+
     switch ( d->arch.tsc_mode = tsc_mode )
     {
     case TSC_MODE_NEVER_EMULATE: