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