Symbol: do_irq