platform_restart   51 arch/xtensa/platforms/iss/setup.c void platform_restart(void)
platform_restart   58 arch/xtensa/platforms/xt2000/setup.c void platform_restart(void)
platform_restart   51 arch/xtensa/platforms/xtfpga/setup.c void platform_restart(void)