Searched refs:SCHED_ENQUEUE (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dthread.c96 SCHED_ENQUEUE(target);
302 SCHED_ENQUEUE(candidate);
377 SCHED_ENQUEUE(tptr);
396 SCHED_ENQUEUE(tptr);
410 SCHED_ENQUEUE(target);
414 SCHED_ENQUEUE(target);
464 SCHED_ENQUEUE(NODE_STATE(ksSchedulerAction));
/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h63 #define SCHED_ENQUEUE(_t) do { \ macro
74 #define SCHED_ENQUEUE(_t) tcbSchedEnqueue(_t) macro
/seL4-l4v-10.1.1/seL4/src/object/
H A Dendpoint.c296 SCHED_ENQUEUE(thread);
330 SCHED_ENQUEUE(thread);
H A Dnotification.c185 SCHED_ENQUEUE(thread);

Completed in 84 milliseconds