x86/time: fix check for negative time in __update_vcpu_system_time()
authorTim Deegan <tim@xen.org>
Thu, 15 Aug 2013 11:17:10 +0000 (13:17 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 15 Aug 2013 11:17:10 +0000 (13:17 +0200)
commitab7f9a793c78dfea81c037b34b0dd2db7070d8f8
treeba40ef97c4e93d853f1c9006bdba2718c68906ca
parentf67af6d5803b6a015e30cb490a94f9547cb0437c
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>
xen/arch/x86/time.c