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();}