GICD_ICENABLERn
gicd_write(sc, GICD_ICENABLERn(group), irq_mask);
gicd_write(sc, GICD_ICENABLERn(group), valid);
#define GICv1_ICDICERn(n) GICD_ICENABLERn(n)
gicd_write_4(sc, GICD_ICENABLERn(group), mask);
gicd_write_4(sc, GICD_ICENABLERn(n / 32), ~0);