From df047d6936000f0656c6679220baae91f6b8cda3 Mon Sep 17 00:00:00 2001 From: Tim Deegan Date: Tue, 20 Aug 2013 15:39:39 +0200 Subject: 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 master commit: ab7f9a793c78dfea81c037b34b0dd2db7070d8f8 master date: 2013-08-15 13:17:10 +0200 --- xen/arch/x86/time.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index 9187520101..92b1226094 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -828,7 +828,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; -- cgit v1.2.3