 os_close_file(task->thread.mode.tt.switch_pipe[0]); os_close_file(task->thread.mode.tt.switch_pipe[1]); /* use switch_pipe as flag: thread is released */ task->thread.mode.tt.switch_pipe[0] = -1; 
void release_thread_tt(struct task_struct *task){	int pid = task->thread.mode.tt.extern_pid;	if(os_getpid() != pid)		os_kill_process(pid, 0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0f7e663dea7f0e22f3b2d07156c5e9d2e8656610/process_kern.c/clean/arch/um/kernel/tt/process_kern.c