Symbol: ipa_irq_id