Symbol: mpic_irq_lower