GICD_ICFGR
val = gic_d_read_4(sc, GICD_ICFGR(i)) >> 2 * (i & 0xf);
gic_d_write_4(sc, GICD_ICFGR(i), GIC_DEFAULT_ICFGR_INIT);
reg = gic_d_read_4(sc, GICD_ICFGR(irq));
gic_d_write_4(sc, GICD_ICFGR(irq), reg);
gic_d_write(sc, 4, GICD_ICFGR(i), 0x00000000);
GICR_SGI_BASE_SIZE + GICD_ICFGR(irq));
reg = gic_d_read(sc, 4, GICD_ICFGR(irq));
GICR_SGI_BASE_SIZE + GICD_ICFGR(irq), reg);
gic_d_write(sc, 4, GICD_ICFGR(irq), reg);
n = (reg - GICD_ICFGR(0)) / 4;
n = (reg - GICD_ICFGR(0)) / 4;
VGIC_REGISTER_RANGE_RAZ_WI(GICD_ICFGR(0), GICD_ICFGR(32), 4,
VGIC_REGISTER_RANGE(GICD_ICFGR(32), GICD_ICFGR(1024), 4,