 return(current->thread.prev_sched); 
void *switch_to_skas(void *prev, void *next){	struct task_struct *from, *to;	from = prev;	to = next;	/* XXX need to check runqueues[cpu].idle */	if(current->pid == 0)		switch_timers(0);	to->thread.prev_sched = from;	set_current(to);	switch_threads(&from->thread.mode.skas.switch_buf, 		       to->thread.mode.skas.switch_buf);	if(current->pid == 0)		switch_timers(1);	return(current->thread.prev_sched);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f6e34c6af6f18bd6c66bfb1c6a7c57068412aa73/process_kern.c/clean/arch/um/kernel/skas/process_kern.c