Searched refs:setflags (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
| H A D | sched.c | 140 setflags(struct bmk_thread *thread, int add, int remove) function
187 setflags(thread, THR_RUNQ, THR_QMASK);
356 setflags(prev, 0, THR_RUNNING);
359 setflags(next, THR_RUNNING, THR_RUNQ);
527 setflags(thread, THR_DEAD, THR_RUNNING);
665 setflags(mainthread, THR_RUNNING, THR_RUNQ);
715 setflags(thread, THR_RUNQ, THR_RUNNING);
|
Completed in 70 milliseconds