Home
last modified time | relevance | path

Searched refs:tcbYieldTo (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/object/
A Dschedcontext.c195 NODE_STATE(ksCurThread)->tcbYieldTo = sc; in invokeSchedContext_YieldTo()
240 assert(NODE_STATE(ksCurThread)->tcbYieldTo == NULL); in decodeSchedContext_YieldTo()
241 if (NODE_STATE(ksCurThread)->tcbYieldTo != NULL) { in decodeSchedContext_YieldTo()
394 if (tcb && tcb->tcbYieldTo) { in schedContext_cancelYieldTo()
395 tcb->tcbYieldTo->scYieldFrom = NULL; in schedContext_cancelYieldTo()
396 tcb->tcbYieldTo = NULL; in schedContext_cancelYieldTo()
402 if (yielder && yielder->tcbYieldTo) { in schedContext_completeYieldTo()
403 setConsumed(yielder->tcbYieldTo, lookupIPCBuffer(true, yielder)); in schedContext_completeYieldTo()
/seL4-master/include/object/
A Dstructures.h279 sched_context_t *tcbYieldTo; member
/seL4-master/src/kernel/
A Dthread.c38 if (unlikely(NODE_STATE(ksCurThread)->tcbYieldTo)) { in activateThread()

Completed in 5 milliseconds