Symbol: cpuidle_play_dead
arch/x86/kernel/smpboot.c
1496
cpuidle_play_dead();
include/linux/cpuidle.h
200
extern int cpuidle_play_dead(void);