GICD_ICENABLER
gic_d_write_4(sc, GICD_ICENABLER(irq), GICD_I_MASK(irq));
gic_d_write_4(sc, GICD_ICENABLER(i), 0xFFFFFFFF);
gic_d_write(sc, 4, GICD_ICENABLER(i), 0xFFFFFFFF);
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICD_ICENABLER(irq),
gic_d_write(sc, 4, GICD_ICENABLER(irq), GICD_I_MASK(irq));
n = (reg - GICD_ICENABLER(0)) / 4;
VGIC_REGISTER_RAZ_WI(GICD_ICENABLER(0), 4, VGIC_32_BIT),
VGIC_REGISTER_RANGE(GICD_ICENABLER(32), GICD_ICENABLER(1024), 4,