HelenOS sources

uspace_ptr_thread_id_t  301 kernel/generic/include/proc/thread.h     uspace_ptr_thread_id_t);
uspace_ptr_thread_id_t  303 kernel/generic/include/proc/thread.h extern sys_errno_t sys_thread_get_id(uspace_ptr_thread_id_t);
uspace_ptr_thread_id_t 1019 kernel/generic/src/proc/thread.c sys_errno_t sys_thread_get_id(uspace_ptr_thread_id_t uspace_thread_id)