Lines Matching defs:sc
35 static inline word_t refill_next(sched_context_t *sc, word_t index) in refill_next()
42 UNUSED static inline void print_index(sched_context_t *sc, word_t index) in print_index()
49 UNUSED static inline void refill_print(sched_context_t *sc) in refill_print()
65 static UNUSED bool_t refill_ordered(sched_context_t *sc) in refill_ordered()
86 #define REFILL_SANITY_START(sc) ticks_t _sum = refill_sum(sc); assert(isRoundRobin(sc) || refill_or… argument
87 #define REFILL_SANITY_CHECK(sc, budget) \ argument
92 #define REFILL_SANITY_END(sc) \ argument
97 #define REFILL_SANITY_START(sc) argument
98 #define REFILL_SANITY_CHECK(sc, budget) argument
99 #define REFILL_SANITY_END(sc) argument
103 static UNUSED ticks_t refill_sum(sched_context_t *sc) in refill_sum()
117 static inline refill_t refill_pop_head(sched_context_t *sc) in refill_pop_head()
133 static inline void refill_add_tail(sched_context_t *sc, refill_t refill) in refill_add_tail()
146 static inline void maybe_add_empty_tail(sched_context_t *sc) in maybe_add_empty_tail()
157 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t cor… in refill_new()
175 void refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refi… in refill_update()
215 static inline void schedule_used(sched_context_t *sc, refill_t new) in schedule_used()
241 static bool_t refill_head_overlapping(sched_context_t *sc) in refill_head_overlapping()
254 sched_context_t *sc = NODE_STATE(ksCurSC); in refill_budget_check() local
319 void refill_unblock_check(sched_context_t *sc) in refill_unblock_check()