Searched refs:REFILL_NEW (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/kernel/include/kernel/ |
H A D | sporadic.h | 125 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, period, core) macro 128 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, period) macro
|
/seL4-test-master/kernel/src/object/ |
H A D | schedcontrol.c | 62 REFILL_NEW(target, max_refills, budget, period, core);
|
/seL4-test-master/kernel/src/kernel/ |
H A D | boot.c | 396 REFILL_NEW(tcb->tcbSchedContext, MIN_REFILLS, timeslice, 0, core);
|
Completed in 46 milliseconds