Symbol: is_thinint_irq