# HG changeset patch
# Parent b0c342b749765bf254c664883d4f5e2891c1ff18

diff -r b0c342b74976 xen/common/sched_credit.c
--- a/xen/common/sched_credit.c	Fri Nov 09 11:02:54 2012 +0100
+++ b/xen/common/sched_credit.c	Thu Nov 15 18:22:56 2012 +0100
@@ -254,7 +254,11 @@ static inline void
     ASSERT(cur);
     cpumask_clear(&mask);
 
-    /* If strictly higher priority than current VCPU, signal the CPU */
+    /*
+     * If new is strictly higher priority than current VCPU, let CPU
+     * know that re-scheduling is needed. That will likely pick-up new
+     * and put cur back in the runqueue.
+     */
     if ( new->pri > cur->pri )
     {
         if ( cur->pri == CSCHED_PRI_IDLE )
@@ -296,7 +300,6 @@ static inline void
                 else
                     cpumask_or(&mask, &mask, &idle_mask);
             }
-            cpumask_and(&mask, &mask, new->vcpu->cpu_affinity);
         }
     }