span_avg 5983 kernel/sched/fair.c u64 span_avg = sd->span_weight * avg_idle; span_avg 5984 kernel/sched/fair.c if (span_avg > 4*avg_cost) span_avg 5985 kernel/sched/fair.c nr = div_u64(span_avg, avg_cost);