SEI_IRQ_COUNT_PER_REG   25 drivers/irqchip/irq-mvebu-sei.c #define SEI_IRQ_COUNT		(SEI_IRQ_COUNT_PER_REG * SEI_IRQ_REG_COUNT)
SEI_IRQ_COUNT_PER_REG   26 drivers/irqchip/irq-mvebu-sei.c #define SEI_IRQ_REG_IDX(irq_id)	((irq_id) / SEI_IRQ_COUNT_PER_REG)
SEI_IRQ_COUNT_PER_REG   27 drivers/irqchip/irq-mvebu-sei.c #define SEI_IRQ_REG_BIT(irq_id)	((irq_id) % SEI_IRQ_COUNT_PER_REG)
SEI_IRQ_COUNT_PER_REG  338 drivers/irqchip/irq-mvebu-sei.c 		for_each_set_bit(bit, &irqmap, SEI_IRQ_COUNT_PER_REG) {
SEI_IRQ_COUNT_PER_REG  342 drivers/irqchip/irq-mvebu-sei.c 			hwirq = idx * SEI_IRQ_COUNT_PER_REG + bit;