unsigned int thread_resume(struct tcb *t)
This function is called to resume a suspended thread. This function has no effect if t is not in a blocked state, or it is blocked for waiting on a semaphore.
