arch_unregister_cpu
arch_unregister_cpu(num);
arch_unregister_cpu(pr->id);
extern void arch_unregister_cpu(int cpu);