gicd_write_4
gicd_write_4(sc, GICD_ISENABLERn(group), mask);
gicd_write_4(sc, GICD_ICENABLERn(group), mask);
gicd_write_4(sc, GICD_ICFGRn(is->is_irq / 16), icfg);
gicd_write_4(sc, GICD_IPRIORITYRn(is->is_irq / 4), ipriority);
gicd_write_4(sc, GICD_CTRL, gicd_ctrl);
gicd_write_4(sc, GICD_ICENABLERn(n / 32), ~0);
gicd_write_4(sc, GICD_IPRIORITYRn(n / 4), ~0);
gicd_write_4(sc, GICD_IGROUPRn(n / 32), ~0);
gicd_write_4(sc, GICD_IGRPMODRn(n / 32), 0);
gicd_write_4(sc, GICD_ICFGRn(n / 16), 0);
gicd_write_4(sc, GICD_CTRL, gicd_ctrl);
gicd_write_4(sc, GICD_IPRIORITYRn(8), oiprio | 0xff);
gicd_write_4(sc, GICD_IPRIORITYRn(8), oiprio);