WEIGHT            135 bsp/drv/dev/cpufreq/cpufreq.c 	avg_workload = (avg_workload * WEIGHT + new_workload) / (WEIGHT + 1);
WEIGHT            136 bsp/drv/dev/cpufreq/cpufreq.c 	avg_deadline = (avg_deadline * WEIGHT + new_deadline) / (WEIGHT + 1);