ia64/xen-unstable

changeset 2650:dc59c5558adc

bitkeeper revision 1.1159.113.1 (41707bdeJOc1nGZ4m2BKGia9VqochA)

Sync pagetables when migrating a domain betwene CPUs.
author kaf24@freefall.cl.cam.ac.uk
date Sat Oct 16 01:39:42 2004 +0000 (2004-10-16)
parents 4c9db2750868
children 11aa3dfa5e00
files xen/common/dom0_ops.c
line diff
     1.1 --- a/xen/common/dom0_ops.c	Fri Oct 15 17:04:44 2004 +0000
     1.2 +++ b/xen/common/dom0_ops.c	Sat Oct 16 01:39:42 2004 +0000
     1.3 @@ -271,7 +271,8 @@ long do_dom0_op(dom0_op_t *u_dom0_op)
     1.4          else
     1.5          {
     1.6              domain_pause(d);
     1.7 -            if(d->processor != cpu % smp_num_cpus)
     1.8 +            synchronise_pagetables(~0UL);
     1.9 +            if ( d->processor != (cpu % smp_num_cpus) )
    1.10                  set_bit(DF_MIGRATED, &d->flags);
    1.11              set_bit(DF_CPUPINNED, &d->flags);
    1.12              d->processor = cpu % smp_num_cpus;