GICD_TYPER_LINES
sc->sc_pic.pic_maxsources = GICD_TYPER_LINES(sc->sc_gic_type);
sc->sc_pic.pic_maxsources = GICD_TYPER_LINES(sc->sc_gicd_typer);