Symbol: setup_irq