AM18XX_AINTC_SECR1
uint32_t reg = AM18XX_AINTC_SECR1 + (4 * group);
INTC_WRITE(sc, AM18XX_AINTC_SECR1 + 4 * i, 0xFFFFFFFF);