Searched refs:sgi_machine_restart (Results 1 – 1 of 1) sorted by relevance
70 static void __noreturn sgi_machine_restart(char *command) in sgi_machine_restart() function187 _machine_restart = sgi_machine_restart; in reboot_setup()