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

/seL4-l4v-10.1.1/seL4/src/smp/
H A Dipi.c39 SCHED_ENQUEUE_CURRENT_TCB;
69 SCHED_ENQUEUE_CURRENT_TCB;
/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h78 #define SCHED_ENQUEUE_CURRENT_TCB tcbSchedEnqueue(NODE_STATE(ksCurThread)) macro
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c284 SCHED_ENQUEUE_CURRENT_TCB;

Completed in 34 milliseconds