GICR_ICFGRn
icfg = gicr_read_4(sc, n, GICR_ICFGRn(is->is_irq / 16));
gicr_write_4(sc, n, GICR_ICFGRn(is->is_irq / 16), icfg);
gicr_write_4(sc, ci->ci_gic_redist, GICR_ICFGRn(1), icfg);