__cpu_die
static inline void __cpu_die(unsigned int cpu) { }
static inline void __cpu_die(unsigned int cpu) { }
static inline void __cpu_die(unsigned int cpu) { }
static inline void __cpu_die(unsigned int cpu)
static inline void __cpu_die(unsigned int cpu)
void __cpu_die(unsigned int cpu)
void __cpu_die(unsigned int cpu)
static inline void __cpu_die(unsigned int cpu) { }
void __cpu_die(unsigned int cpu)
static inline void __cpu_die(unsigned int cpu)
void __cpu_die(unsigned int cpu)
static inline void __cpu_die(unsigned int cpu)
void __cpu_die(unsigned int cpu)