Symbol: irq_release