Searched refs:platform_restart (Results 1 – 5 of 5) sorted by relevance
35 extern void platform_restart (void);
56 void platform_restart(void) in platform_restart() function
63 void platform_restart(void) in platform_restart() function
55 void platform_restart(void) in platform_restart() function
562 platform_restart(); in machine_restart()
