SEI_IRQ_REG_COUNT
#define SEI_IRQ_COUNT (SEI_IRQ_COUNT_PER_REG * SEI_IRQ_REG_COUNT)
for (idx = 0; idx < SEI_IRQ_REG_COUNT; idx++) {
for (reg_idx = 0; reg_idx < SEI_IRQ_REG_COUNT; reg_idx++) {