tag	line	file	source code
bad_task_ptr	143	kernel/exit.c	if (bad_task_ptr(task[i]->p_pptr))
bad_task_ptr	146	kernel/exit.c	if (bad_task_ptr(task[i]->p_cptr))
bad_task_ptr	149	kernel/exit.c	if (bad_task_ptr(task[i]->p_ysptr))
bad_task_ptr	152	kernel/exit.c	if (bad_task_ptr(task[i]->p_osptr))