Searched refs:rdist_capacity (Results 1 – 1 of 1) sorted by relevance
372 int i, rdist_capacity, cpuidx; in arm_gicv3_common_realize() local420 rdist_capacity = 0; in arm_gicv3_common_realize()422 rdist_capacity += s->redist_region_count[i]; in arm_gicv3_common_realize()424 if (rdist_capacity != s->num_cpu) { in arm_gicv3_common_realize()427 rdist_capacity, s->num_cpu); in arm_gicv3_common_realize()