gic_d_write
gic_d_write(sc, 4, GICD_ISENABLER(irq), GICD_I_MASK(irq));
gic_d_write(sc, 8, GICD_IROUTER(gi->gi_irq),
gic_d_write(sc, 8, GICD_IROUTER(gi->gi_irq), CPU_AFFINITY(cpu));
gic_d_write(sc, 4, GICD_CTLR, 0);
gic_d_write(sc, 4, GICD_IGROUPR(i), 0xFFFFFFFF);
gic_d_write(sc, 4, GICD_ICFGR(i), 0x00000000);
gic_d_write(sc, 4, GICD_IPRIORITYR(i), GIC_PRIORITY_MAX);
gic_d_write(sc, 4, GICD_ICENABLER(i), 0xFFFFFFFF);
gic_d_write(sc, 4, GICD_CTLR, GICD_CTLR_ARE_NS | GICD_CTLR_G1A |
gic_d_write(sc, 8, GICD_IROUTER(i), aff);
gic_d_write(sc, 4, GICD_ICFGR(irq), reg);
gic_d_write(sc, 4, GICD_ICENABLER(irq), GICD_I_MASK(irq));