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

/seL4-test-master/kernel/src/object/
H A Dschedcontext.c173 bool_t return_now = true; local
191 return_now = false;
195 if (return_now) {

Completed in 20 milliseconds