__tcb_set 91 uspace/lib/c/generic/libc.c __tcb_set(main_fibril.tcb); __tcb_set 65 uspace/lib/c/generic/thread/thread.c __tcb_set(fibril->tcb);