Searched refs:platform_reset (Results 1 – 3 of 3) sorted by relevance
60 platform_reset(); in machine_restart()
118 void platform_reset(void) in platform_reset() function
56 void platform_reset(void);
Completed in 5 milliseconds