Symbol: separate_irq_context