HelenOS sources

thread_t          209 kernel/generic/include/proc/thread.h } thread_t;
thread_t          221 uspace/lib/cpp/include/__bits/thread/threading.hpp     using thread_t       = typename threading::thread_type;
HelenOS homepage, sources at GitHub