Searched refs:sgi_machine_halt (Results 1 – 1 of 1) sorted by relevance
45 static void sgi_machine_halt(void) __attribute__((noreturn));56 static void sgi_machine_halt(void) in sgi_machine_halt() function230 _machine_halt = sgi_machine_halt; in reboot_setup()