288 static void divvy_up_power(u32 *req_power, u32 *max_power, int num_actors,  in divvy_up_power()  argument
309 		if (granted_power[i] > max_power[i]) {  in divvy_up_power()
310 			extra_power += granted_power[i] - max_power[i];  in divvy_up_power()
311 			granted_power[i] = max_power[i];  in divvy_up_power()
314 		extra_actor_power[i] = max_power[i] - granted_power[i];  in divvy_up_power()
337 	u32 *req_power, *max_power, *granted_power, *extra_actor_power;  in allocate_power()  local
368 	BUILD_BUG_ON(sizeof(*req_power) != sizeof(*max_power));  in allocate_power()
378 	max_power = &req_power[num_actors];  in allocate_power()
408 		if (power_actor_get_max_power(cdev, tz, &max_power[i]))  in allocate_power()
412 		max_allocatable_power += max_power[i];  in allocate_power()
420 	divvy_up_power(weighted_req_power, max_power, num_actors,  in allocate_power()