Searched defs:max_refills (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/include/kernel/ |
| A D | sporadic.h | 178 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, perio… argument
181 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, perio… argument
|
| /seL4-master/src/object/ |
| A D | schedcontrol.c | 14 … ticks_t period, word_t max_refills, word_t badge, word_t flags) in invokeSchedControl_ConfigureFlags()
|
| /seL4-master/src/kernel/ |
| A D | sporadic.c | 157 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t cor… in refill_new()
|
Completed in 9 milliseconds