Searched refs:flipper_platform_reset (Results 1 – 3 of 3) sorted by relevance
22 void flipper_platform_reset(void);
42 flipper_platform_reset(); in gamecube_restart()
229 void flipper_platform_reset(void) in flipper_platform_reset() function