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

/seL4-test-master/kernel/include/object/
H A Dtcb.h82 static inline tcb_queue_t tcbEPAppend(tcb_t *tcb, tcb_queue_t queue) function
/seL4-test-master/kernel/src/object/
H A Dtcb.c226 tcb_queue_t tcbEPAppend(tcb_t *tcb, tcb_queue_t queue) function

Completed in 44 milliseconds