diff options
| author | Tim Deegan <tim@xen.org> | 2013-08-20 15:39:39 +0200 |
|---|---|---|
| committer | Jan Beulich <jbeulich@suse.com> | 2013-08-20 15:39:39 +0200 |
| commit | df047d6936000f0656c6679220baae91f6b8cda3 (patch) | |
| tree | c8bba0f5c007b06e6951bca844514311a69f1007 | |
| parent | d1eca89587990c47edf54091dabe187d8317bafb (diff) | |
| download | xen-df047d6936000f0656c6679220baae91f6b8cda3.tar.gz xen-df047d6936000f0656c6679220baae91f6b8cda3.tar.bz2 xen-df047d6936000f0656c6679220baae91f6b8cda3.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 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; |