Lines Matching refs:sc
107 #define REFILL_INDEX(sc, index) (((refill_t *) (SC_REF(sc) + sizeof(sched_context_t)))[index])
108 #define REFILL_HEAD(sc) REFILL_INDEX((sc), (sc)->scRefillHead)
110 static inline ticks_t sc_get_budget(sched_context_t *sc)
112 ticks_t sum = REFILL_HEAD(sc).rAmount;
113 word_t current = sc->scRefillHead;
115 while (current != sc->scRefillTail) {
116 current = ((current == sc->scRefillMax - 1u) ? (0) : current + 1u);
117 sum += REFILL_INDEX(sc, current).rAmount;
125 sched_context_t *sc = SC_PTR(cap_sched_context_cap_get_capSCPtr(sc_cap));
127 (long unsigned int)ticksToUs(sc->scPeriod),
128 (long unsigned int)ticksToUs(sc_get_budget(sc)),
260 /* sc */
497 printf("%p_sc = sc ",