#endif /* CONFIG_PPC_64K_PAGES */ 
static inline void switch_mm(struct mm_struct *prev, struct mm_struct *next,			     struct task_struct *tsk){	if (!cpu_isset(smp_processor_id(), next->cpu_vm_mask))		cpu_set(smp_processor_id(), next->cpu_vm_mask);	/* No need to flush userspace segments if the mm doesnt change */	if (prev == next)		return;#ifdef CONFIG_ALTIVEC	if (cpu_has_feature(CPU_FTR_ALTIVEC))		asm volatile ("dssall");#endif /* CONFIG_ALTIVEC */	if (cpu_has_feature(CPU_FTR_SLB))		switch_slb(tsk, next);	else		switch_stab(tsk, next);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/mmu_context.h/buggy/include/asm-ppc64/mmu_context.h