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

/seL4-test-master/kernel/src/kernel/
H A Dthread.c350 bool_t was_runnable; local
352 was_runnable = true;
355 was_runnable = false;
376 } else if (was_runnable && candidate->tcbPriority == NODE_STATE(ksCurThread)->tcbPriority) {

Completed in 22 milliseconds