CHOOSE_MODE_PROC(switch_to_tt, switch_to_skas, prev, next); 
do { current->thread.saved_task = NULL ; CHOOSE_MODE_PROC(switch_to_tt, switch_to_skas, prev, next); if(current->thread.saved_task) show_regs(&(current->thread.regs)); next= current->thread.saved_task; prev= current; } while(current->thread.saved_task); 
void *_switch_to(void *prev, void *next, void *last){        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);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3eddddcf239c89bbd3c50d1440001a3d384ed40a/process_kern.c/clean/arch/um/kernel/process_kern.c