__cpu_die
void __cpu_die(unsigned int cpu);
extern void __cpu_die(unsigned int cpu);
extern void __cpu_die(unsigned int cpu);
void __cpu_die(unsigned int cpu);
void __cpu_die(unsigned int cpu);
__cpu_die(cpu);