list_del_init(&svc->runq_elem);
}
-void burn_credits(struct csched2_runqueue_data *rqd, struct csched2_unit *svc,
- s_time_t now);
+static void burn_credits(struct csched2_runqueue_data *rqd,
+ struct csched2_unit *svc, s_time_t now);
static inline void
tickle_cpu(unsigned int cpu, struct csched2_runqueue_data *rqd)
/* No need to resort runqueue, as everyone's order should be the same. */
}
-void burn_credits(struct csched2_runqueue_data *rqd,
- struct csched2_unit *svc, s_time_t now)
+static void burn_credits(struct csched2_runqueue_data *rqd,
+ struct csched2_unit *svc, s_time_t now)
{
s_time_t delta;