Searched refs:ip32_machine_restart (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/mips/sgi-ip32/
H A Dip32-reset.c65 static void ip32_machine_restart(char *cmd) __noreturn; ip32_machine_restart()
66 static void ip32_machine_restart(char *cmd) ip32_machine_restart() function
141 _machine_restart = ip32_machine_restart; ip32_reboot_setup()

Completed in 96 milliseconds