/* Handle any immediate reschedules or signals */ interrupt_end(); 
void fork_handler(int sig){        change_sig(SIGUSR1, 1); 	thread_wait(&current->thread.mode.skas.switch_buf, 		    current->thread.mode.skas.fork_buf);  		force_flush_all();	if(current->thread.prev_sched == NULL)		panic("blech");	schedule_tail(current->thread.prev_sched);	current->thread.prev_sched = NULL;	userspace(&current->thread.regs.regs);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/501cb02b431fb88c7f157c46c8b54de59d1dd463/process_kern.c/clean/arch/um/kernel/skas/process_kern.c