bitkeeper revision 1.1159.113.1 (41707bdeJOc1nGZ4m2BKGia9VqochA)

Sync pagetables when migrating a domain betwene CPUs.

xen/common/dom0_ops.c

@@ -271,7 +271,8 @@ long do_dom0_op(dom0_op_t *u_dom0_op)
         else
         {
             domain_pause(d);
-            if(d->processor != cpu % smp_num_cpus)
+            synchronise_pagetables(~0UL);
+            if ( d->processor != (cpu % smp_num_cpus) )
                 set_bit(DF_MIGRATED, &d->flags);
             set_bit(DF_CPUPINNED, &d->flags);
             d->processor = cpu % smp_num_cpus;