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)