Home
last modified time | relevance | path

Searched defs:refill (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/kernel/
A Dsporadic.c123 refill_t refill = *refill_head(sc); in refill_pop_head() local
133 static inline void refill_add_tail(sched_context_t *sc, refill_t refill) in refill_add_tail()
/seL4-master/include/object/
A Dstructures.h333 typedef struct refill { struct
336 /* Amount of ticks that can be used from this refill */ argument
338 } refill_t; argument

Completed in 5 milliseconds