gicr_read_8
gicr_typer = gicr_read_8(sc, n, GICR_TYPER);
const uint64_t typer = gicr_read_8(sc, ci->ci_gic_redist, GICR_TYPER);
propbase = gicr_read_8(sc, ci->ci_gic_redist, GICR_PROPBASER);
pendbase = gicr_read_8(sc, ci->ci_gic_redist, GICR_PENDBASER);
const uint64_t gicr_typer = gicr_read_8(sc, i, GICR_TYPER);