Home
last modified time | relevance | path

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

/seL4-master/src/object/
A Dtcb.c107 tcb->tcbSchedNext = queue.head; in tcbSchedEnqueue()
142 tcb->tcbSchedNext = NULL; in tcbSchedAppend()
166 tcb->tcbSchedPrev->tcbSchedNext = tcb->tcbSchedNext; in tcbSchedDequeue()
174 if (tcb->tcbSchedNext) { in tcbSchedDequeue()
264 tcb->tcbSchedPrev->tcbSchedNext = tcb->tcbSchedNext; in tcbReleaseRemove()
271 if (tcb->tcbSchedNext) { in tcbReleaseRemove()
275 tcb->tcbSchedNext = NULL; in tcbReleaseRemove()
293 after = after->tcbSchedNext; in tcbReleaseEnqueue()
301 before->tcbSchedNext = tcb; in tcbReleaseEnqueue()
308 tcb->tcbSchedNext = after; in tcbReleaseEnqueue()
[all …]
/seL4-master/include/object/
A Dstructures.h297 struct tcb *tcbSchedNext; member
/seL4-master/
A Dgdb-macros50 set $current = $current->tcbSchedNext
70 set $current = $current->tcbSchedNext

Completed in 8 milliseconds