SEI_IRQ_REG_COUNT   25 drivers/irqchip/irq-mvebu-sei.c #define SEI_IRQ_COUNT		(SEI_IRQ_COUNT_PER_REG * SEI_IRQ_REG_COUNT)
SEI_IRQ_REG_COUNT  333 drivers/irqchip/irq-mvebu-sei.c 	for (idx = 0; idx < SEI_IRQ_REG_COUNT; idx++) {
SEI_IRQ_REG_COUNT  362 drivers/irqchip/irq-mvebu-sei.c 	for (reg_idx = 0; reg_idx < SEI_IRQ_REG_COUNT; reg_idx++) {