[Xen-changelog] [xen-unstable] x86: flush_tlb_mask() should take into account specified VA to flush

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kfraser@xxxxxxxxxxxxxxxxxxxxx
# Date 1169565285 0
# Node ID 3071537af9d844465e3513e7f7bf610da45e6160
# Parent  d54c8dab1e64719e158d734c522b902afde0fcfd
x86: flush_tlb_mask() should take into account specified VA to flush
on local processor.
Signed-off-by: K. Y. Srinivasan <ksrinivasan@xxxxxxxxxx>
---
 xen/arch/x86/smp.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletion(-)

diff -r d54c8dab1e64 -r 3071537af9d8 xen/arch/x86/smp.c
--- a/xen/arch/x86/smp.c        Tue Jan 23 14:57:01 2007 +0000
+++ b/xen/arch/x86/smp.c        Tue Jan 23 15:14:45 2007 +0000
@@ -188,7 +188,10 @@ void __flush_tlb_mask(cpumask_t mask, un
     
     if ( cpu_isset(smp_processor_id(), mask) )
     {
-        local_flush_tlb();
+        if ( va == FLUSHVA_ALL )
+            local_flush_tlb();
+        else
+            local_flush_tlb_one(va);
         cpu_clear(smp_processor_id(), mask);
     }
 

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog