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>

xen/common/domain.c

@@ -293,11 +293,7 @@ void domain_pause(struct domain *d)
     struct vcpu *v;
 
     for_each_vcpu( d, v )
-    {
-        BUG_ON(v == current);
-        atomic_inc(&v->pausecnt);
-        vcpu_sleep_sync(v);
-    }
+        vcpu_pause(v);
 
     sync_pagetable_state(d);
 }