Added some functions in TCB.h