HelenOS sources

task_kill_internal   85 kernel/generic/src/proc/task.c static void task_kill_internal(task_t *);
task_kill_internal  136 kernel/generic/src/proc/task.c 				task_kill_internal(task);
task_kill_internal  569 kernel/generic/src/proc/task.c 	task_kill_internal(task);
task_kill_internal  600 kernel/generic/src/proc/task.c 	task_kill_internal(TASK);