Implemented idle tcb related functions