Searched refs:refill_new (Results 1 - 4 of 4) sorted by relevance
/seL4-mcs-10.1.1/include/kernel/ |
H A D | sporadic.h | 112 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period);
|
/seL4-mcs-10.1.1/src/object/ |
H A D | schedcontrol.c | 68 refill_new(target, max_refills, budget, period);
|
/seL4-mcs-10.1.1/src/kernel/ |
H A D | sporadic.c | 166 refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period) function 185 /* refill must be initialised in order to be updated - otherwise refill_new should be used */
|
H A D | boot.c | 385 refill_new(tcb->tcbSchedContext, MIN_REFILLS, timeslice, 0);
|
Completed in 84 milliseconds