platform_idle      50 arch/xtensa/include/asm/platform.h extern void platform_idle (void);
platform_idle     123 arch/xtensa/kernel/process.c 	platform_idle();