set_idle_cpu
extern void set_idle_cpu(int cpun);
set_idle_cpu(cp->cpu_id); /* arch-dependent hook */
extern void set_idle_cpu(int);