HelenOS sources

SYS_TASK_KILL      71 kernel/generic/src/syscall/syscall.c 	[SYS_TASK_KILL] = (syshandler_t) sys_task_kill,
SYS_TASK_KILL      52 uspace/app/trace/syscalls.c 	[SYS_TASK_KILL] = { "task_kill", 1, V_ERRNO },
SYS_TASK_KILL      91 uspace/lib/c/generic/task.c 	return (errno_t) __SYSCALL1(SYS_TASK_KILL, (sysarg_t) &task_id);