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