[Xen-changelog] [xen master] x86/time: fix check for negative time in __update_vcpu_system_time()

[patchbot@xxxxxxx]

commit ab7f9a793c78dfea81c037b34b0dd2db7070d8f8
Author:     Tim Deegan <tim@xxxxxxx>
AuthorDate: Thu Aug 15 13:17:10 2013 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Thu Aug 15 13:17:10 2013 +0200

    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@xxxxxxx>
---
 xen/arch/x86/time.c |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index f047cb3..c31029c 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;
--
generated by git-patchbot for /home/xen/git/xen.git#master

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