Symbol: AIC_INFO_NDIE
sys/arch/arm64/dev/aplintc.c
257
sc->sc_ndie = AIC_INFO_NDIE(info) + 1;
sys/arch/arm64/dev/aplintc.c
265
sc->sc_ndie_max = AIC_INFO_NDIE(info);