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

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c66 #define THR_BLOCKPREP 0x0400 macro
604 bmk_assert((thread->bt_flags & THR_BLOCKPREP) == 0);
608 thread->bt_flags |= THR_BLOCKPREP;
627 bmk_assert(thread->bt_flags & THR_BLOCKPREP);
632 thread->bt_flags &= ~(THR_TIMEDOUT | THR_BLOCKPREP);

Completed in 50 milliseconds