Symbol: check_irq_src