AM18XX_AINTC_ECR1
uint32_t ecr_reg = AM18XX_AINTC_ECR1 + 4 * group;
INTC_WRITE(sc, AM18XX_AINTC_ECR1 + 4 * i, 0xFFFFFFFF);