Symbol: mpic_end_irq