Home
last modified time | relevance | path

Searched refs:scRefillMax (Results 1 – 8 of 8) sorted by relevance

/seL4-master/src/kernel/
A Dsporadic.c37 return (index == sc->scRefillMax - 1u) ? (0) : index + 1u; in refill_next()
128 assert(sc->scRefillHead < sc->scRefillMax); in refill_pop_head()
136 assert(refill_size(sc) < sc->scRefillMax); in refill_add_tail()
143 assert(new_tail < sc->scRefillMax); in refill_add_tail()
165 sc->scRefillMax = max_refills; in refill_new()
179 assert(sc->scRefillMax > 0); in refill_update()
192 sc->scRefillMax = new_max_refills; in refill_update()
/seL4-master/include/kernel/
A Dsporadic.h84 return sc->scRefillTail + 1u + (sc->scRefillMax - sc->scRefillHead); in refill_size()
91 return refill_size(sc) == sc->scRefillMax; in refill_full()
137 return sc->scRefillMax > 0; in sc_active()
A Dthread.h126 if (NODE_STATE(ksCurSC)->scRefillMax) { in commitTime()
156 thread->tcbSchedContext->scRefillMax > 0 && in isSchedulable()
/seL4-master/src/object/
A Dschedcontrol.c52 … } else if (SMP_COND_STATEMENT(core == target->scCore &&) target->scRefillMax > 0 && target->scTcb in invokeSchedControl_ConfigureFlags()
70 assert(target->scRefillMax > 0); in invokeSchedControl_ConfigureFlags()
A Dobjecttype.c232 sc->scRefillMax = 0; in finaliseCap()
/seL4-master/include/object/
A Dstructures.h370 word_t scRefillMax; member
/seL4-master/src/machine/
A Dcapdl.c119 current = ((current == sc->scRefillMax - 1u) ? (0) : current + 1u); in sc_get_budget()
/seL4-master/src/api/
A Dsyscall.c584 } else if (NODE_STATE(ksCurSC)->scRefillMax) { in mcsPreemptionPoint()

Completed in 24 milliseconds