uml_idle_timer(); 
int start_uml_skas(void){	start_userspace(0);	init_new_thread_signals(1);	uml_idle_timer();	init_task.thread.request.u.thread.proc = start_kernel_proc;	init_task.thread.request.u.thread.arg = NULL;	return(start_idle_thread(init_task.thread_info,				 &init_task.thread.mode.skas.switch_buf,				 &init_task.thread.mode.skas.fork_buf));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a6f4e3cf75538a75ee4fab620e3c8466f2154458/process_kern.c/clean/arch/um/kernel/skas/process_kern.c