GICR_TYPER
const uint32_t typer = bus_space_read_4(sc->sc_gic.sc_bst, sc->sc_gic.sc_bsh_r[redist], GICR_TYPER);
gicr_typer = gicr_read_8(sc, n, GICR_TYPER);
const uint64_t typer = gicr_read_8(sc, ci->ci_gic_redist, GICR_TYPER);
const uint64_t gicr_typer = gicr_read_8(sc, i, GICR_TYPER);
const uint32_t typer = bus_space_read_4(sc->sc_gic.sc_bst, gic->sc_bsh_r[redist - 1], GICR_TYPER);