Searched refs:refill_add_tail (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/seL4/src/kernel/
H A Dsporadic.c129 static inline void refill_add_tail(sched_context_t *sc, refill_t refill) function
147 refill_add_tail(sc, empty_tail);
205 refill_add_tail(sc, new);
221 refill_add_tail(sc, new);

Completed in 94 milliseconds