GITS_BASER_TTE_SZ
sc->sc_dte_sz = GITS_BASER_TTE_SZ(baser) + 1;
sc->sc_cte_sz = GITS_BASER_TTE_SZ(baser) + 1;