SEI_IRQ_REG_IDX    59 drivers/irqchip/irq-mvebu-sei.c 	u32 reg_idx = SEI_IRQ_REG_IDX(d->hwirq);
SEI_IRQ_REG_IDX    68 drivers/irqchip/irq-mvebu-sei.c 	u32 reg, reg_idx = SEI_IRQ_REG_IDX(d->hwirq);
SEI_IRQ_REG_IDX    82 drivers/irqchip/irq-mvebu-sei.c 	u32 reg, reg_idx = SEI_IRQ_REG_IDX(d->hwirq);