Searched refs:sgi_machine_restart (Results 1 – 1 of 1) sorted by relevance
71 static void __noreturn sgi_machine_restart(char *command) in sgi_machine_restart() function188 _machine_restart = sgi_machine_restart; in reboot_setup()
Completed in 4 milliseconds