Symbol: typecheck_irq_probe