HelenOS sources

task_kill_internal   85 kernel/generic/src/proc/task.c static void task_kill_internal(task_t *);
task_kill_internal  137 kernel/generic/src/proc/task.c 				task_kill_internal(task);
task_kill_internal  570 kernel/generic/src/proc/task.c 	task_kill_internal(task);
task_kill_internal  601 kernel/generic/src/proc/task.c 	task_kill_internal(TASK);