Changed to TCB_t type in thread.h
Changed to TCB_t type in thread.h

Nithanaroy/threads-sempahores-message_passing-library,Nithanaroy/threads-sempahores-message_passing-library,Nithanaroy/threads-sempahores-message_passing-library