Searched refs:part_idx (Results 1 – 1 of 1) sorted by relevance
1161 int part_idx = 0, i; in gic_populate_ppi_partitions() local1182 part = &parts[part_idx]; in gic_populate_ppi_partitions()1187 child_part->name, part_idx); in gic_populate_ppi_partitions()1220 part_idx++; in gic_populate_ppi_partitions()