arch_cpu_idle_dead  188 include/linux/cpu.h void arch_cpu_idle_dead(void);
arch_cpu_idle_dead  248 kernel/sched/idle.c 			arch_cpu_idle_dead();