Searched refs:ip30_machine_restart (Results 1 – 1 of 1) sorted by relevance
23 static void __noreturn ip30_machine_restart(char *cmd) in ip30_machine_restart() function36 _machine_restart = ip30_machine_restart; in ip30_reboot_setup()