Searched refs:SCHED_APPEND_CURRENT_TCB (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h79 #define SCHED_APPEND_CURRENT_TCB tcbSchedAppend(NODE_STATE(ksCurThread)) macro
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c428 SCHED_APPEND_CURRENT_TCB;
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c446 SCHED_APPEND_CURRENT_TCB;

Completed in 42 milliseconds