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);