Lines Matching refs:tcbState
40 assert(thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState) == ThreadState_Running); in activateThread()
44 switch (thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState)) { in activateThread()
72 if (thread_state_get_tsType(target->tcbState) == ThreadState_Running) { in suspend()
135 thread_state_get_tsType(reply->replyTCB->tcbState) != ThreadState_BlockedOnReply) { in doReplyTransfer()
142 assert(thread_state_get_replyObject(receiver->tcbState) == REPLY_REF(0)); in doReplyTransfer()
150 assert(thread_state_get_tsType(receiver->tcbState) == in doReplyTransfer()
445 assert(!thread_state_get_tcbInReleaseQueue(thread->tcbState)); in switchToThread()
486 switch (thread_state_get_tsType(tptr->tcbState)) { in setPriority()
489 if (thread_state_get_tcbQueued(tptr->tcbState) || tptr == NODE_STATE(ksCurThread)) { in setPriority()
501 reorderEP(EP_PTR(thread_state_get_blockingObject(tptr->tcbState)), tptr); in setPriority()
505 reorderNTFN(NTFN_PTR(thread_state_get_blockingObject(tptr->tcbState)), tptr); in setPriority()
534 if (target->tcbSchedContext != NULL && !thread_state_get_tcbInReleaseQueue(target->tcbState)) { in possibleSwitchTo()
554 thread_state_ptr_set_tsType(&tptr->tcbState, ts); in setThreadState()
621 assert(!thread_state_get_tcbQueued(NODE_STATE(ksCurThread)->tcbState)); in endTimeslice()
632 if (likely(thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState) == in timerTick()
635 || thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState) == in timerTick()