new_budget (reference) in projects: seL4-master

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

/seL4-master/src/kernel/
A D	sporadic.c	`175 void refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refi… in refill_update() argument 200 if (refill_head(sc)->rAmount >= new_budget) { in refill_update() 202 refill_head(sc)->rAmount = new_budget; in refill_update() 206 refill_t new = { .rAmount = (new_budget - refill_head(sc)->rAmount), in refill_update() 212 REFILL_SANITY_CHECK(sc, new_budget); in refill_update()`
/seL4-master/include/kernel/
A D	sporadic.h	`185 void refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refi…`

Completed in 6 milliseconds