Symbol: irq_thread