Symbol: mpic_from_irq