Symbol: GITS_BASER_TTE_SZ
sys/arch/arm64/dev/agintc.c
1700
sc->sc_dte_sz = GITS_BASER_TTE_SZ(baser) + 1;
sys/arch/arm64/dev/agintc.c
1788
sc->sc_cte_sz = GITS_BASER_TTE_SZ(baser) + 1;