Symbol: irq_reserve_ipi