spin_unlock(&next->page_table_lock); 
spin_unlock(&mmu_context_lock); 
switch_mm(struct mm_struct *prev, struct mm_struct *next,	  struct task_struct *tsk){	int cpu = smp_processor_id();	/* Make sure there is a MMU context. */	spin_lock(&next->page_table_lock);	get_mmu_context(next);	cpu_set(cpu, next->cpu_vm_mask);	spin_unlock(&next->page_table_lock);	/*	 * Remember the pgd for the fault handlers. Keep a seperate copy of it	 * because current and active_mm might be invalid at points where	 * there's still a need to derefer the pgd.	 */	per_cpu(current_pgd, cpu) = next->pgd;	/* Switch context in the MMU. */        if (tsk && tsk->thread_info)        {          SPEC_REG_WR(SPEC_REG_PID, next->context.page_id | tsk->thread_info->tls);        }        else        {          SPEC_REG_WR(SPEC_REG_PID, next->context.page_id);        }}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a7e4705b24e611574e5c23105005ffdff694fd58/tlb.c/clean/arch/cris/arch-v32/mm/tlb.c