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

/seL4-test-master/kernel/include/kernel/
H A Dthread.h132 assert(refill_ready(NODE_STATE(ksCurSC)));
144 assert(refill_ready(NODE_STATE(ksCurSC)));
250 assert(refill_ready(NODE_STATE(ksCurSC)));
H A Dsporadic.h117 static inline bool_t refill_ready(sched_context_t *sc) function
/seL4-test-master/kernel/src/kernel/
H A Dthread.c175 if ((refill_ready(receiver->tcbSchedContext) && refill_sufficient(receiver->tcbSchedContext, 0))) {
321 assert(refill_ready(NODE_STATE(ksCurThread->tcbSchedContext)));
424 assert(refill_ready(thread->tcbSchedContext));
438 assert(refill_ready(thread->tcbSchedContext));
609 } else if (refill_ready(NODE_STATE(ksCurSC)) && refill_sufficient(NODE_STATE(ksCurSC), 0)) {
658 assert(refill_ready(NODE_STATE(ksSchedulerAction)->tcbSchedContext));
668 while (unlikely(NODE_STATE(ksReleaseHead) != NULL && refill_ready(NODE_STATE(ksReleaseHead)->tcbSchedContext))) {
H A Dsporadic.c192 if (refill_ready(sc)) {
278 if (capacity > 0 && refill_ready(sc)) {
352 if (refill_ready(sc)) {
/seL4-test-master/kernel/src/object/
H A Dschedcontext.c264 if (!(refill_ready(sc) && refill_sufficient(sc, 0))) {
H A Dendpoint.c104 assert(dest->tcbSchedContext == NULL || refill_ready(dest->tcbSchedContext));
H A Dtcb.c122 assert(refill_ready(tcb->tcbSchedContext));

Completed in 99 milliseconds