unregister_cpu
unregister_cpu(c);
unregister_cpu(&per_cpu(cpu_devices, num));
extern void unregister_cpu(struct cpu *cpu);