unsigned long *mmc = &mm->context[cpu_id]; 
unsigned long *mmc; 
void smp_flush_tlb_mm(struct mm_struct *mm){	int cpu_id = smp_processor_id();	cpumask_t cpu_mask;	unsigned long *mmc = &mm->context[cpu_id];	unsigned long flags;	preempt_disable();	cpu_mask = mm->cpu_vm_mask;	cpu_clear(cpu_id, cpu_mask);	if (*mmc != NO_CONTEXT) {		local_irq_save(flags);		*mmc = NO_CONTEXT;		if (mm == current->mm)			activate_context(mm);		else			cpu_clear(cpu_id, mm->cpu_vm_mask);		local_irq_restore(flags);	}	if (!cpus_empty(cpu_mask))		flush_tlb_others(cpu_mask, mm, NULL, FLUSH_ALL);	preempt_enable();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a90933fb4e7b85587e5cbdf863deeb16695c19bd/smp.c/buggy/arch/m32r/kernel/smp.c