platform_halt      40 arch/xtensa/platforms/iss/setup.c void platform_halt(void)
platform_halt      44 arch/xtensa/platforms/xt2000/setup.c void platform_halt(void)
platform_halt      35 arch/xtensa/platforms/xtfpga/setup.c void platform_halt(void)