Symbol: release_irq_context