kill_orphaned_pgrp 832 kernel/exit.c kill_orphaned_pgrp(p, father); kill_orphaned_pgrp 923 kernel/exit.c kill_orphaned_pgrp(tsk->group_leader, NULL);