Symbol: mpic_irq_read