Searched refs:tcbSchedAppend (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/object/
H A Dtcb.h45 void tcbSchedAppend(tcb_t *tcb);
68 tcbSchedAppend(_t); \
74 #define SCHED_APPEND(_t) tcbSchedAppend(_t)
78 #define SCHED_APPEND_CURRENT_TCB tcbSchedAppend(NODE_STATE(ksCurThread))
/seL4-test-master/kernel/src/object/
H A Dtcb.c117 void tcbSchedAppend(tcb_t *tcb) function

Completed in 78 milliseconds