hlt_play_dead     140 arch/x86/include/asm/smp.h void hlt_play_dead(void);
hlt_play_dead    1754 arch/x86/kernel/smpboot.c 		hlt_play_dead();
hlt_play_dead     282 arch/x86/power/cpu.c 	hlt_play_dead();