Symbol: gicv5_lpi_count
sys/arm64/arm64/gicv5.c
782
nlpis = gicv5_lpi_count(sc) / sc->gic_nchildren;
sys/arm64/arm64/gicv5.c
791
*result = gicv5_lpi_count(sc) / sc->gic_nchildren;