--- xen/arch/x86/smp.c	2006-11-22 10:22:48.000000000 -0500
+++ new_xen/arch/x86/smp.c	2007-01-22 17:38:36.000000000 -0500
@@ -188,7 +188,10 @@
     
     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);
     }