Symbol: GICV2M_TYPER_SPI_COUNT
sys/arch/arm/cortex/ampintc.c
875
sc->sc_nspi = GICV2M_TYPER_SPI_COUNT(typer);
sys/arch/arm64/dev/ampintc.c
929
sc->sc_nspi = GICV2M_TYPER_SPI_COUNT(typer);