GICR_TYPER
offset + GICR_TYPER);
sc->sc_rbase_ioh[idx], offset + GICR_TYPER) >> 32;
sc->sc_rbase_ioh[idx], offset + GICR_TYPER) >> 8;