switch_mm_skas(next->context.skas.mm_fd)); 
switch_mm_skas(&next->context.skas.id)); 
static inline void switch_mm(struct mm_struct *prev, struct mm_struct *next, 			     struct task_struct *tsk){	unsigned cpu = smp_processor_id();	if(prev != next){		cpu_clear(cpu, prev->cpu_vm_mask);		cpu_set(cpu, next->cpu_vm_mask);		if(next != &init_mm)			CHOOSE_MODE((void) 0, 				    switch_mm_skas(next->context.skas.mm_fd));	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d67b569f5f620c0fb95d5212642746b7ba9d29e4/mmu_context.h/buggy/include/asm-um/mmu_context.h