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),
708            (int_id < Gicv3::SGI_MAX + Gicv3::PPI_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));