odmin              54 drivers/irqchip/irq-mvebu-odmi.c 	unsigned int odmin;
odmin              60 drivers/irqchip/irq-mvebu-odmi.c 	odmin = d->hwirq & NODMIS_MASK;
odmin              66 drivers/irqchip/irq-mvebu-odmi.c 	msg->data = odmin << GICP_ODMI_INT_NUM_SHIFT;
odmin              84 drivers/irqchip/irq-mvebu-odmi.c 	unsigned int hwirq, odmin;
odmin              98 drivers/irqchip/irq-mvebu-odmi.c 	odmin = hwirq & NODMIS_MASK;
odmin             103 drivers/irqchip/irq-mvebu-odmi.c 	fwspec.param[1] = odmi->spi_base - 32 + odmin;
odmin             110 drivers/irqchip/irq-mvebu-odmi.c 		__clear_bit(odmin, odmis_bm);