dev/arm/gic_v3_redistributor.cc

61       irqGroup(Gicv3::SGI_MAX + Gicv3::PPI_MAX, 0),
62       irqEnabled(Gicv3::SGI_MAX + Gicv3::PPI_MAX, false),
63       irqPending(Gicv3::SGI_MAX + Gicv3::PPI_MAX, false),
64       irqActive(Gicv3::SGI_MAX + Gicv3::PPI_MAX, false),
65       irqPriority(Gicv3::SGI_MAX + Gicv3::PPI_MAX, 0),
66       irqConfig(Gicv3::SGI_MAX + Gicv3::PPI_MAX, Gicv3::INT_EDGE_TRIGGERED),
67       irqGrpmod(Gicv3::SGI_MAX + Gicv3::PPI_MAX, 0),
68       irqNsacr(Gicv3::SGI_MAX + Gicv3::PPI_MAX, 0),
286           uint32_t first_int_id = addr == GICR_ICFGR0 ? 0 : Gicv3::SGI_MAX;
583           int first_intid = Gicv3::SGI_MAX;
707     assert((int_id >= Gicv3::SGI_MAX) &&
708            (int_id < Gicv3::SGI_MAX + Gicv3::PPI_MAX));
718     assert(int_id < Gicv3::SGI_MAX);
755     assert(int_id < Gicv3::SGI_MAX + Gicv3::PPI_MAX);
783     for (int int_id = 0; int_id < Gicv3::SGI_MAX + Gicv3::PPI_MAX; int_id++) {
944     assert(int_id < (Gicv3::SGI_MAX + Gicv3::PPI_MAX));