Symbol: hl_init_cpu_for_irq