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