cpu_for_irq
unsigned int cpu_idx = cpu_for_irq(intc, d);
unsigned int old_cpu = cpu_for_irq(intc, d);