1 2 3 4 5 6
#include <libc/tcb.h> __attribute__((__always_inline__)) void *__libc_thread_self(void) { return __libc_tcb_get(); }