avg_workload      106 bsp/drv/dev/cpufreq/cpufreq.c static u_long	avg_workload;	/* average workload */
avg_workload      135 bsp/drv/dev/cpufreq/cpufreq.c 	avg_workload = (avg_workload * WEIGHT + new_workload) / (WEIGHT + 1);
avg_workload      138 bsp/drv/dev/cpufreq/cpufreq.c 	max_speed = (int)(avg_workload * 100 / avg_deadline);
avg_workload      145 bsp/drv/dev/cpufreq/cpufreq.c 		 avg_workload, avg_deadline));
avg_workload      276 bsp/drv/dev/cpufreq/cpufreq.c 	avg_workload = SAMPLING_TICK * 100;