Ciao .... Prima di tutto quando posti del codice, inseriscilo nel tag code altrimenti qui non capiamo niente.
Detto questo potresti dirmi cos' è pt ??? E' un puntatore di puntatori a tcb_t ???