platform_halt      40 arch/xtensa/include/asm/platform.h extern void platform_halt (void);
platform_halt     562 arch/xtensa/kernel/setup.c 	platform_halt();