1.1 --- a/xen/arch/x86/mm.c	Mon Mar 05 11:14:15 2007 +0000
     1.2 +++ b/xen/arch/x86/mm.c	Mon Mar 05 11:18:55 2007 +0000
     1.3 @@ -424,7 +424,10 @@ void invalidate_shadow_ldt(struct vcpu *
     1.4      }
     1.5  
     1.6      /* Dispose of the (now possibly invalid) mappings from the TLB.  */
     1.7 -    queue_deferred_ops(v->domain, DOP_FLUSH_TLB | DOP_RELOAD_LDT);
     1.8 +    if ( v == current )
     1.9 +        queue_deferred_ops(v->domain, DOP_FLUSH_TLB | DOP_RELOAD_LDT);
    1.10 +    else
    1.11 +        flush_tlb_mask(v->domain->domain_dirty_cpumask);
    1.12  }
    1.13  
    1.14