Symbol: ipa_smp2p_irq_exit