339 static void divvy_up_power(u32 *req_power, u32 *max_power, int num_actors,  in divvy_up_power()  argument
360 		if (granted_power[i] > max_power[i]) {  in divvy_up_power()
361 			extra_power += granted_power[i] - max_power[i];  in divvy_up_power()
362 			granted_power[i] = max_power[i];  in divvy_up_power()
365 		extra_actor_power[i] = max_power[i] - granted_power[i];  in divvy_up_power()
390 	u32 *req_power, *max_power, *granted_power, *extra_actor_power;  in allocate_power()  local
421 	BUILD_BUG_ON(sizeof(*req_power) != sizeof(*max_power));  in allocate_power()
431 	max_power = &req_power[num_actors];  in allocate_power()
462 					   &max_power[i]))  in allocate_power()
466 		max_allocatable_power += max_power[i];  in allocate_power()
475 	divvy_up_power(weighted_req_power, max_power, num_actors,  in allocate_power()