Symbol: irq_finish