st_irq_xlate      134 drivers/irqchip/irq-st.c 		ret = st_irq_xlate(pdev, device, i, true);
st_irq_xlate      140 drivers/irqchip/irq-st.c 		ret = st_irq_xlate(pdev, device, i, false);