Symbol: setup_irq_channel