diff options
| author | Tim Deegan <tim@xen.org> | 2013-08-20 16:12:19 +0200 |
|---|---|---|
| committer | Jan Beulich <jbeulich@suse.com> | 2013-08-20 16:12:19 +0200 |
| commit | 28d38f0a7db6f5d024900ac0a9075a70298bc64f (patch) | |
| tree | 88f84d3efe2b5ed6fd96ec98edab9d9c2731ea74 | |
| parent | 09cc1e255e8e4302d967223e6761ce1d1017b50d (diff) | |
| download | xen-28d38f0a7db6f5d024900ac0a9075a70298bc64f.tar.gz xen-28d38f0a7db6f5d024900ac0a9075a70298bc64f.tar.bz2 xen-28d38f0a7db6f5d024900ac0a9075a70298bc64f.zip | |
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
| -rw-r--r-- | 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 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; |