--- linux/arch/i386/kernel/smp.c.orig2	Thu Feb 10 07:13:25 2000
+++ linux/arch/i386/kernel/smp.c	Thu Feb 10 07:13:48 2000
@@ -348,12 +348,7 @@
 				__flush_tlb_one(flush_va);
 		} else
 			leave_mm(cpu);
-	} else {
-		extern void show_stack (void *);
-		printk("hm #1: %p, %p.\n", flush_mm, cpu_tlbstate[cpu].active_mm);
-		show_stack(NULL);
 	}
-	__flush_tlb();
 	ack_APIC_irq();
 	clear_bit(cpu, &flush_cpumask);
 }
@@ -383,7 +378,7 @@
 	 * Temporarily this turns IRQs off, so that lockups are
 	 * detected by the NMI watchdog.
 	 */
-	spin_lock_irq(&tlbstate_lock);
+	spin_lock(&tlbstate_lock);
 	
 	flush_mm = mm;
 	flush_va = va;
@@ -399,7 +394,7 @@
 
 	flush_mm = NULL;
 	flush_va = 0;
-	spin_unlock_irq(&tlbstate_lock);
+	spin_unlock(&tlbstate_lock);
 }
 	
 void flush_tlb_current_task(void)