Symbol: typecheck_irq_init_cb