Searched defs:after (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/object/
H A Dtcb.h86 tcb_t *after = NULL; local
/seL4-camkes-master/kernel/src/object/
H A Dtcb.c287 tcb_t *after = NODE_STATE_ON_CORE(ksReleaseHead, tcb->tcbAffinity); local

Completed in 38 milliseconds