Searched defs:SCHED_ENQUEUE_CURRENT_TCB (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/include/object/ | ||
| H A D | tcb.h | 77 #define SCHED_ENQUEUE_CURRENT_TCB tcbSchedEnqueue(NODE_STATE(ksCurThread)) macro |
Completed in 23 milliseconds