cpuidle_play_dead 1753 arch/x86/kernel/smpboot.c 	if (cpuidle_play_dead())
cpuidle_play_dead  159 include/linux/cpuidle.h extern int cpuidle_play_dead(void);