Symbol: setup_irq_thread