From: Tim Deegan <tim@xen.org>
Date: Tue, 20 Aug 2013 14:12:19 +0000 (+0200)
Subject: x86/time: fix check for negative time in __update_vcpu_system_time()
X-Git-Tag: 4.1.6-rc2~3
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=28d38f0a7db6f5d024900ac0a9075a70298bc64f;p=xen.git

x86/time: fix check for negative time in __update_vcpu_system_time()

Clang points out that u64 stime variable is always >= 0.

Signed-off-by: Tim Deegan <tim@xen.org>
master commit: ab7f9a793c78dfea81c037b34b0dd2db7070d8f8
master date: 2013-08-15 13:17:10 +0200
---

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index c3b0b865b8..e30ab4923f 100644
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -817,7 +817,8 @@ static void __update_vcpu_system_time(struct vcpu *v, int force)
 
     if ( d->arch.vtsc )
     {
-        u64 stime = t->stime_local_stamp;
+        s_time_t stime = t->stime_local_stamp;
+
         if ( is_hvm_domain(d) )
         {
             struct pl_time *pl = &v->domain->arch.hvm_domain.pl_time;