taglinefilesource code
bad_task_ptr142kernel/exit.cif (bad_task_ptr(task[i]->p_pptr))
bad_task_ptr145kernel/exit.cif (bad_task_ptr(task[i]->p_cptr))
bad_task_ptr148kernel/exit.cif (bad_task_ptr(task[i]->p_ysptr))
bad_task_ptr151kernel/exit.cif (bad_task_ptr(task[i]->p_osptr))