GICR_PENDBASER
gicr_write_8(sc, ci->ci_gic_redist, GICR_PENDBASER, pendbase);
pendbase = gicr_read_8(sc, ci->ci_gic_redist, GICR_PENDBASER);