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