HelenOS sources
uspace_ptr_task_id_t 63 kernel/generic/include/ipc/sysipc.h extern sys_errno_t sys_ipc_connect_kbox(uspace_ptr_task_id_t, uspace_ptr_cap_phone_handle_t);
uspace_ptr_task_id_t 177 kernel/generic/include/proc/task.h extern sys_errno_t sys_task_kill(uspace_ptr_task_id_t);
uspace_ptr_task_id_t 920 kernel/generic/src/ipc/sysipc.c sys_errno_t sys_ipc_connect_kbox(uspace_ptr_task_id_t uspace_taskid,
uspace_ptr_task_id_t 407 kernel/generic/src/proc/task.c sys_errno_t sys_task_kill(uspace_ptr_task_id_t uspace_taskid)
HelenOS homepage, sources at GitHub