diff -r 0be7c0cd27ad xen/common/schedule.c
--- a/xen/common/schedule.c	Mon Feb 07 14:50:21 2011 +0000
+++ b/xen/common/schedule.c	Mon Feb 07 15:53:56 2011 +0000
@@ -234,6 +234,8 @@
     void **vcpu_priv;
     void *domdata;
 
+    BUG_ON(d->cpupool == c);
+
     domdata = SCHED_OP(c->sched, alloc_domdata, d);
     if ( domdata == NULL )
         return -ENOMEM;