Home
last modified time | relevance | path

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

/seL4-master/include/kernel/
A Dsporadic.h62 return refill_index(sc, sc->scRefillTail); in refill_tail()
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/kernel/
A Dsporadic.c51 printf("Head %lu tail %lu\n", sc->scRefillHead, sc->scRefillTail); in refill_print()
56 while (current != sc->scRefillTail) { in refill_print()
74 while (current != sc->scRefillTail) { in refill_ordered()
108 while (current != sc->scRefillTail) { in refill_sum()
138 word_t new_tail = refill_next(sc, sc->scRefillTail); in refill_add_tail()
139 sc->scRefillTail = new_tail; in refill_add_tail()
164 sc->scRefillTail = 0; in refill_new()
190 sc->scRefillTail = sc->scRefillHead; in refill_update()
/seL4-master/include/object/
A Dstructures.h374 word_t scRefillTail; member
/seL4-master/src/machine/
A Dcapdl.c118 while (current != sc->scRefillTail) { in sc_get_budget()

Completed in 6 milliseconds