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

/seL4-test-master/kernel/include/kernel/
H A Dsporadic.h70 static inline word_t refill_size(sched_context_t *sc) function
82 return refill_size(sc) == sc->scRefillMax;
H A Dthread.h137 assert(refill_size(NODE_STATE(ksCurSC)) == MIN_REFILLS);
/seL4-test-master/kernel/src/kernel/
H A Dsporadic.c118 UNUSED word_t prev_size = refill_size(sc);
123 assert(prev_size == (refill_size(sc) + 1));
132 assert(refill_size(sc) < sc->scRefillMax);
148 assert(refill_size(sc) == MIN_REFILLS);
308 if (refill_size(sc) == sc->scRefillMax || remnant < MIN_BUDGET) {
H A Dthread.c586 assert(refill_size(NODE_STATE_ON_CORE(ksCurSC, core)) == MIN_REFILLS);

Completed in 35 milliseconds