flipper_platform_reset   17 arch/powerpc/platforms/embedded6xx/flipper-pic.h void flipper_platform_reset(void);
flipper_platform_reset   37 arch/powerpc/platforms/embedded6xx/gamecube.c 	flipper_platform_reset();