From: kfraser@localhost.localdomain <kfraser@localhost.localdomain>
Date: Tue, 23 Jan 2007 15:14:45 +0000 (+0000)
Subject: x86: flush_tlb_mask() should take into account specified VA to flush
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~15371^2~93
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=49964796c7682fbc937b43ee374defb94a41b101;p=xen.git

x86: flush_tlb_mask() should take into account specified VA to flush
on local processor.
Signed-off-by: K. Y. Srinivasan <ksrinivasan@novell.com>
---

diff --git a/xen/arch/x86/smp.c b/xen/arch/x86/smp.c
index 2d14240039..cc6739abea 100644
--- a/xen/arch/x86/smp.c
+++ b/xen/arch/x86/smp.c
@@ -188,7 +188,10 @@ void __flush_tlb_mask(cpumask_t mask, unsigned long va)
     
     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);
     }