ia64/xen-unstable

changeset 13579:3071537af9d8

x86: flush_tlb_mask() should take into account specified VA to flush
on local processor.
Signed-off-by: K. Y. Srinivasan <ksrinivasan@novell.com>
author kfraser@localhost.localdomain
date Tue Jan 23 15:14:45 2007 +0000 (2007-01-23)
parents d54c8dab1e64
children fe01db0e59a3
files xen/arch/x86/smp.c
line diff
     1.1 --- a/xen/arch/x86/smp.c	Tue Jan 23 14:57:01 2007 +0000
     1.2 +++ b/xen/arch/x86/smp.c	Tue Jan 23 15:14:45 2007 +0000
     1.3 @@ -188,7 +188,10 @@ void __flush_tlb_mask(cpumask_t mask, un
     1.4      
     1.5      if ( cpu_isset(smp_processor_id(), mask) )
     1.6      {
     1.7 -        local_flush_tlb();
     1.8 +        if ( va == FLUSHVA_ALL )
     1.9 +            local_flush_tlb();
    1.10 +        else
    1.11 +            local_flush_tlb_one(va);
    1.12          cpu_clear(smp_processor_id(), mask);
    1.13      }
    1.14