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