ia64/xen-unstable

changeset 6068:0229efe8ffe4

Simple fix to getdomaininfo cpu_time calculation for
multi-vcpu guests. From Josh Triplett.
author kaf24@firebug.cl.cam.ac.uk
date Mon Aug 08 18:43:57 2005 +0000 (2005-08-08)
parents 08bc755fe796
children 6915b98bb384
files xen/common/dom0_ops.c
line diff
     1.1 --- a/xen/common/dom0_ops.c	Mon Aug 08 17:00:21 2005 +0000
     1.2 +++ b/xen/common/dom0_ops.c	Mon Aug 08 18:43:57 2005 +0000
     1.3 @@ -70,8 +70,7 @@ static void getdomaininfo(struct domain 
     1.4              flags &= ~DOMFLAGS_BLOCKED;
     1.5          if ( v->vcpu_flags & VCPUF_running )
     1.6              flags |= DOMFLAGS_RUNNING;
     1.7 -        if ( v->cpu_time > cpu_time )
     1.8 -            cpu_time += v->cpu_time;
     1.9 +        cpu_time += v->cpu_time;
    1.10          vcpu_count++;
    1.11      }
    1.12