if (flush_mm == read_pda(active_mm)) { 
if (f->flush_mm == read_pda(active_mm)) { 
asmlinkage void smp_invalidate_interrupt (void){	unsigned long cpu;	cpu = get_cpu();	if (!cpu_isset(cpu, flush_cpumask))		goto out;		/* 		 * This was a BUG() but until someone can quote me the		 * line from the intel manual that guarantees an IPI to		 * multiple CPUs is retried _only_ on the erroring CPUs		 * its staying as a return		 *		 * BUG();		 */		 	if (flush_mm == read_pda(active_mm)) {		if (read_pda(mmu_state) == TLBSTATE_OK) {			if (flush_va == FLUSH_ALL)				local_flush_tlb();			else				__flush_tlb_one(flush_va);		} else			leave_mm(cpu);	}out:	ack_APIC_irq();	cpu_clear(cpu, flush_cpumask);	put_cpu_no_resched();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e5bc8b6baf86538f3d0407cf0880f86aec828a13/smp.c/buggy/arch/x86_64/kernel/smp.c