Home
last modified time | relevance | path

Searched refs:tcbSchedPrev (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/object/
A Dtcb.c104 queue.head->tcbSchedPrev = tcb; in tcbSchedEnqueue()
106 tcb->tcbSchedPrev = NULL; in tcbSchedEnqueue()
141 tcb->tcbSchedPrev = queue.end; in tcbSchedAppend()
165 if (tcb->tcbSchedPrev) { in tcbSchedDequeue()
175 tcb->tcbSchedNext->tcbSchedPrev = tcb->tcbSchedPrev; in tcbSchedDequeue()
177 queue.end = tcb->tcbSchedPrev; in tcbSchedDequeue()
263 if (tcb->tcbSchedPrev) { in tcbReleaseRemove()
272 tcb->tcbSchedNext->tcbSchedPrev = tcb->tcbSchedPrev; in tcbReleaseRemove()
276 tcb->tcbSchedPrev = NULL; in tcbReleaseRemove()
305 after->tcbSchedPrev = tcb; in tcbReleaseEnqueue()
[all …]
/seL4-master/include/object/
A Dstructures.h298 struct tcb *tcbSchedPrev; member

Completed in 8 milliseconds