HelenOS sources

uspace_ptr_thread_id_t  302 kernel/generic/include/proc/thread.h     uspace_ptr_thread_id_t);
uspace_ptr_thread_id_t  304 kernel/generic/include/proc/thread.h extern sys_errno_t sys_thread_get_id(uspace_ptr_thread_id_t);
uspace_ptr_thread_id_t  949 kernel/generic/src/proc/thread.c     size_t name_len, uspace_ptr_thread_id_t uspace_thread_id)
uspace_ptr_thread_id_t 1039 kernel/generic/src/proc/thread.c sys_errno_t sys_thread_get_id(uspace_ptr_thread_id_t uspace_thread_id)