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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h68 #define SCHED_APPEND(_t) do { \ macro
75 #define SCHED_APPEND(_t) tcbSchedAppend(_t) macro
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c310 SCHED_APPEND(candidate);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c395 SCHED_APPEND(thread);

Completed in 98 milliseconds