Symbol: mpic_get_coreint_irq