Home
last modified time | relevance | path

Searched refs:scRefillHead (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/kernel/
A Dsporadic.c51 printf("Head %lu tail %lu\n", sc->scRefillHead, sc->scRefillTail); in refill_print()
52 word_t current = sc->scRefillHead; in refill_print()
71 word_t current = sc->scRefillHead; in refill_ordered()
72 word_t next = refill_next(sc, sc->scRefillHead); in refill_ordered()
106 word_t current = sc->scRefillHead; in refill_sum()
124 sc->scRefillHead = refill_next(sc, sc->scRefillHead); in refill_pop_head()
128 assert(sc->scRefillHead < sc->scRefillMax); in refill_pop_head()
163 sc->scRefillHead = 0; in refill_new()
188 sc->scRefillHead = 0; in refill_update()
190 sc->scRefillTail = sc->scRefillHead; in refill_update()
[all …]
/seL4-master/include/kernel/
A Dsporadic.h58 return refill_index(sc, sc->scRefillHead); in refill_head()
81 if (sc->scRefillHead <= sc->scRefillTail) { in refill_size()
82 return (sc->scRefillTail - sc->scRefillHead + 1u); in refill_size()
84 return sc->scRefillTail + 1u + (sc->scRefillMax - sc->scRefillHead); in refill_size()
97 return sc->scRefillHead == sc->scRefillTail; in refill_single()
/seL4-master/src/machine/
A Dcapdl.c111 #define REFILL_HEAD(sc) REFILL_INDEX((sc), (sc)->scRefillHead)
116 word_t current = sc->scRefillHead; in sc_get_budget()
/seL4-master/include/object/
A Dstructures.h372 word_t scRefillHead; member

Completed in 8 milliseconds