platform_restart   35 arch/xtensa/include/asm/platform.h extern void platform_restart (void);
platform_restart  557 arch/xtensa/kernel/setup.c 	platform_restart();