kernel/sched/fair.c

4020 	if (sa->util_sum)
4290 	delta_sum = (long)new_sum - (long)se->avg.util_sum;
4291 	se->avg.util_sum = new_sum;
4295 	add_positive(&cfs_rq->avg.util_sum, delta_sum);
4298 	cfs_rq->avg.util_sum = max_t(u32, cfs_rq->avg.util_sum,
4379 	running_sum = se->avg.util_sum >> SCHED_CAPACITY_SHIFT;
4598 		/* See sa->util_sum below */
4603 		sub_positive(&sa->util_sum, r * divider);
4605 		 * Because of rounding, se->util_sum might ends up being +1 more than
4606 		 * cfs->util_sum. Although this is not a problem by itself, detaching
4608 		 * util_avg (~1ms) can make cfs->util_sum becoming null whereas
4610 		 * Check that util_sum is still above its lower bound for the new
4612 		 * sync, we are only sure that util_sum must be above or equal to
4615 		sa->util_sum = max_t(u32, sa->util_sum, sa->util_avg * PELT_MIN_DIVIDER);
4620 		/* See sa->util_sum above */
4673 	se->avg.util_sum = se->avg.util_avg * divider;
4685 	cfs_rq->avg.util_sum += se->avg.util_sum;
4708 	sub_positive(&cfs_rq->avg.util_sum, se->avg.util_sum);
4710 	cfs_rq->avg.util_sum = max_t(u32, cfs_rq->avg.util_sum,