Home
last modified time | relevance | path

Searched refs:new_period (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/kernel/
A Dsporadic.c175 void refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refi… in refill_update() argument
194 sc->scPeriod = new_period; in refill_update()
207 .rTime = refill_head(sc)->rTime + new_period in refill_update()
/seL4-master/include/kernel/
A Dsporadic.h185 void refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refi…

Completed in 3 milliseconds