GICD_ISENABLERn
gicd_write(sc, GICD_ISENABLERn(group), irq_mask);
gicd_write(sc, GICD_ISENABLERn(0),
gicd_write(sc, GICD_ISENABLERn(group), 0xffffffff);
uint32_t valid = gicd_read(sc, GICD_ISENABLERn(group));
#define GICv1_ICDISERn(n) GICD_ISENABLERn(n)
gicd_write_4(sc, GICD_ISENABLERn(group), mask);