Symbol: GICV5_PPI_COUNT
sys/arm64/arm64/gicv5.c
1198
if (irq >= GICV5_PPI_COUNT)
sys/arm64/arm64/gicv5.c
1297
MPASS(irq < GICV5_PPI_COUNT);
sys/arm64/arm64/gicv5.c
1509
for (u_int irq = 0; irq < GICV5_PPI_COUNT; irq++) {
sys/arm64/arm64/gicv5.c
645
sc->gic_ppi_irqs = mallocarray(GICV5_PPI_COUNT,
sys/arm64/arm64/gicv5.c
647
for (u_int irq = 0; irq < GICV5_PPI_COUNT; irq++) {
sys/arm64/arm64/gicv5.c
902
MPASS(irq < GICV5_PPI_COUNT);