Symbol: do_irq_async