if (child->state == TASK_TRACED) ptrace_untrace(child); 
ptrace_untrace(child); 
void __ptrace_unlink(task_t *child){	if (!child->ptrace)		BUG();	child->ptrace = 0;	if (!list_empty(&child->ptrace_list)) {		list_del_init(&child->ptrace_list);		REMOVE_LINKS(child);		child->parent = child->real_parent;		SET_LINKS(child);	}	if (child->state == TASK_TRACED)		ptrace_untrace(child);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/30e0fca6c1d7d26f3f2daa4dd2b12c51dadc778a/ptrace.c/buggy/kernel/ptrace.c