dev/arm/gic_v3.cc

65     redistributors.resize(sys->numContexts(), nullptr);
74         redistributors[i] = new Gicv3Redistributor(this, i);
81     redistSize = redistributors[0]->addrRangeSize;
90         redistributors[i]->init();
191     panic_if(cpu >= redistributors.size(), "Invalid cpuID sending PPI!");
196     redistributors[cpu]->sendPPInt(int_id);
219     for (auto & redistributor : redistributors) {
237     panic_if(redistributor_id >= redistributors.size(),
239     panic_if(!redistributors[redistributor_id], "Redistributor is null!");
241     return redistributors[redistributor_id];
250          redistributor_id < redistributors.size(); redistributor_id++)
251         redistributors[redistributor_id]->serializeSection(cp,
252             csprintf("redistributors.%i", redistributor_id));
268          redistributor_id < redistributors.size(); redistributor_id++)
269         redistributors[redistributor_id]->unserializeSection(cp,
270             csprintf("redistributors.%i", redistributor_id));