return(CHOOSE_MODE(switch_to_tt(prev, next), switch_to_skas(prev, next))); 
struct task_struct *from = prev; struct task_struct *to= next;  to->thread.prev_sched = from; set_current(to);  CHOOSE_MODE_PROC(switch_to_tt, switch_to_skas, prev, next);  return(current->thread.prev_sched);  
void *_switch_to(void *prev, void *next, void *last){	return(CHOOSE_MODE(switch_to_tt(prev, next), 			   switch_to_skas(prev, next)));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f6e34c6af6f18bd6c66bfb1c6a7c57068412aa73/process_kern.c/clean/arch/um/kernel/process_kern.c