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

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c58 #define THR_RUNNING 0x0008 /* no queue, thread == current */ macro
175 if ((tflags & (THR_RUNNING|THR_QMASK)) == THR_RUNNING)
231 bmk_assert(thread->bt_flags & THR_RUNNING);
293 bmk_assert(next->bt_flags & THR_RUNNING);
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);
711 bmk_assert(thread->bt_flags & THR_RUNNING);
[all...]

Completed in 27 milliseconds