Symbol: intr_ipi