ia64/xen-unstable

changeset 8131:72f79d68e86c

domain_pause duplicates the code from vcpu_pause. Eliminate the
duplicate code and make domain_pause a mirror of the existing
domain_unpause.

Signed-off-by: Tony Breeds <tony@bakeyournoodle.com>
author kaf24@firebug.cl.cam.ac.uk
date Wed Nov 30 12:10:34 2005 +0100 (2005-11-30)
parents 3399f4b9396a
children b6dfdbeb2780
files xen/common/domain.c
line diff
     1.1 --- a/xen/common/domain.c	Wed Nov 30 12:07:28 2005 +0100
     1.2 +++ b/xen/common/domain.c	Wed Nov 30 12:10:34 2005 +0100
     1.3 @@ -293,11 +293,7 @@ void domain_pause(struct domain *d)
     1.4      struct vcpu *v;
     1.5  
     1.6      for_each_vcpu( d, v )
     1.7 -    {
     1.8 -        BUG_ON(v == current);
     1.9 -        atomic_inc(&v->pausecnt);
    1.10 -        vcpu_sleep_sync(v);
    1.11 -    }
    1.12 +        vcpu_pause(v);
    1.13  
    1.14      sync_pagetable_state(d);
    1.15  }