gicd_write
gicd_write(sc, GICD_ISENABLERn(group), irq_mask);
gicd_write(sc, GICD_ICENABLERn(group), irq_mask);
gicd_write(sc, targets_reg, targets);
gicd_write(&armgic_softc, GICD_SGIR, machdep);
gicd_write(sc, targets_reg, targets);
gicd_write(sc, cfg_reg, new_cfg);
gicd_write(sc, priority_reg, priority);
gicd_write(sc, priority_reg, ~0);
gicd_write(sc, priority_reg, priority);
gicd_write(sc, targets_reg, targets);
gicd_write(sc, GICD_ISENABLERn(0),
gicd_write(sc, GICD_SGIR, sgir);
gicd_write(sc, GICD_CTRL, 0); /* disable all interrupts */
gicd_write(sc, GICD_ISENABLERn(group), 0xffffffff);
gicd_write(sc, GICD_ICENABLERn(group), valid);
gicd_write(sc, GICD_CTRL, GICD_CTRL_Enable); // enable Distributer