tcb.c - OpenGrok cross reference for /seL4-master/src/object/tcb.c

Lines Matching refs:tcbState
89     if (!thread_state_get_tcbQueued(tcb->tcbState)) {  in tcbSchedEnqueue()
112         thread_state_ptr_set_tcbQueued(&tcb->tcbState, true);  in tcbSchedEnqueue()
124     if (!thread_state_get_tcbQueued(tcb->tcbState)) {  in tcbSchedAppend()
147         thread_state_ptr_set_tcbQueued(&tcb->tcbState, true);  in tcbSchedAppend()
154     if (thread_state_get_tcbQueued(tcb->tcbState)) {  in tcbSchedDequeue()
182         thread_state_ptr_set_tcbQueued(&tcb->tcbState, false);  in tcbSchedDequeue()
262     if (likely(thread_state_get_tcbInReleaseQueue(tcb->tcbState))) {  in tcbReleaseRemove()
277         thread_state_ptr_set_tcbInReleaseQueue(&tcb->tcbState, false);  in tcbReleaseRemove()
283     assert(thread_state_get_tcbInReleaseQueue(tcb->tcbState) == false);  in tcbReleaseEnqueue()
284     assert(thread_state_get_tcbQueued(tcb->tcbState) == false);  in tcbReleaseEnqueue()
311     thread_state_ptr_set_tcbInReleaseQueue(&tcb->tcbState, true);  in tcbReleaseEnqueue()
332     thread_state_ptr_set_tcbInReleaseQueue(&detached_head->tcbState, false);  in tcbReleaseDequeue()