Searched defs:platform_restart (Results 1 – 3 of 3) sorted by relevance
39 void platform_restart(void) in platform_restart() function
58 void platform_restart(void) in platform_restart() function
52 void platform_restart(void) in platform_restart() function
