extern inline void switch_mm(struct mm_struct *prev, struct mm_struct *next, 
static inline void switch_mm(struct mm_struct *prev, struct mm_struct *next, 
extern inline void switch_mm(struct mm_struct *prev, struct mm_struct *next,                             struct task_struct *tsk){	unsigned long asid = asid_cache;	/* Check if our ASID is of an older version and thus invalid */	if ((next->context ^ asid) & ASID_VERSION_MASK)		get_new_mmu_context(next, asid);	set_rasid_register (ASID_INSERT(next->context));	invalidate_page_directory();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/mmu_context.h/buggy/include/asm-xtensa/mmu_context.h