Symbol: next_cpu_for_irq