Searched refs:ip32_machine_restart (Results 1 – 1 of 1) sorted by relevance
70 static void ip32_machine_restart(char *cmd) __noreturn;71 static void ip32_machine_restart(char *cmd) in ip32_machine_restart() function145 _machine_restart = ip32_machine_restart; in ip32_reboot_setup()